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
23 Dynamic dependence in term rewriting systems and its application to program slicing – John Field, Frank Tip - 1998
26 Compilation of Term Rewriting Systems – Jasper Fredrikus Theodorus Kamperman - 1996
198 A meta-environment for generating programming environments – P Klint - 1993
1275 Program slicing – M Weiser - 1984
95 Parser Generation for Interactive Environments – Jan Rekers - 1992
565 Term Rewriting Systems – J. W. Klop - 1992
160 Program slices: formal, psychological, and practical investigations of an automatic program abstraction method – doi http dx doi org10 1016S0378-720600045-4 M D Weiser - 1979
65 Tip: Parametric program slicing – J Field, G Ramalingam, F
62 The PSG system: From formal language definitions to interactive programming environments – R Bahlke, G Snelting - 1986
18 Executable Language Definitions: Case Studies and Origin Tracking Techniques – A van Deursen - 1994
43 CENTAUR: The system – Jonas Kahn - 1988
633 A Survey of Program Slicing Techniques – F. Tip - 1995
43 Origin Tracking – A. Van Deursen, P. Klint, F. Tip - 1992
188 Ef´┐Żcient Parsing for Natural Language – Masaru Tomita - 1986
33 Formal Aspects of and Development Environments for Montages – Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio - 1997
35 A Tool Box for Compiler Construction – J GROSCH, H EMMELMANN - 1991
33 ACTRESS: an Action Semantics Directed Compiler Generator – Deryck F. Brown, Hermano Moura, David A. Watt - 1992
6 Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation – J. Field, J. Field, J. Heering, J. Heering, T.B. Dinesh, T. B. Dinesh - 1997