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

639 A Survey of Program Slicing Techniques – F. Tip - 1995
31 A simple rewriting semantics for realistic imperative programs and its application to program analysis – J Field - 1992
1296 Program Slicing – M Weiser - 1981
568 Term Rewriting Systems – J. W. Klop - 1992
200 A meta-environment for generating programming environments – P Klint - 1993
721 Types and programming languages – Benjamin C Pierce - 2002
1111 Proof-Carrying Code – George C. Necula - 1997
973 Advanced Compiler Design and Implementation – S S Muchnick - 1997
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991