A Complete Transformational Toolkit for Compilers (1996)

Cached

Download Links

by J.A. Bergstra , T.B. Dinesh , J. Field , J. Heering
Venue:ACM Transactions on Programming Languages and Systems
Citations:23 - 9 self

Documents Related by Co-Citation

31 A simple rewriting semantics for realistic imperative programs and its application to program analysis – J Field - 1992
1371 Program Slicing – Mark Weiser - 1984
578 Term Rewriting Systems – J. W. Klop - 1992
685 A Survey of Program Slicing Techniques – F. Tip - 1995
209 A meta-environment for generating programming environments – P Klint - 1993
760 Types and Programming Languages – Benjamin C Pierce - 2002
1165 Proof-Carrying Code – George C. Necula - 1997
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993