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

Active Bibliography

J. Heering – Department Of Software, J. Field, J. Heering, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J. A. Bergstra, J. A. Bergstra, T. B. Dinesh, T. B. Dinesh - 1996
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
30 Construction of Thinned Gated Single-Assignment Form – Paul Havlak - 1993
In and Out of SSA: A Denotational Specification – Sebastian Pop Pierre Jouvelot
Author manuscript, published in "Workshop Static Single-Assignment Form Seminar,, Autrans: France (2009)" In and Out of SSA: A Denotational Specification – Sebastian Pop Pierre Jouvelot - 2013
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
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
4 From Quads to Graphs: An Intermediate Representation's Journey – Cliff Click, Cliff Click - 1993
18 Sparse Functional Stores for Imperative Programs – Bjarne Steensgaard - 1995
12 A Simple Graph-Based Intermediate Representation – Cliff Click - 1995
31 Value Dependence Graphs: Representation without Taxation – Daniel Weise , Roger F. Crew, Michael Ernst, Bjarne Steensgaard - 1994
75 Combining Analyses, Combining Optimizations – Clifford Noel Click, Jr. - 1995
48 Interprocedural Symbolic Analysis – Paul Havlak - 1994
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
4 A Framework-Based Environment for Object-Oriented Scientific Codes – Robert A. Ballance, Anthony J. Giancola, George F. Luger, Timothy J. Ross - 1993
4 A case-study of a slicing-based approach for locating type errors – T. B. Dinesh, Frank Tip - 1997
The Application of Term Rewriting Systems for Expressing Generic Program Slicing Algorithms – Jens Nicolay - 2009
10 Generic Techniques for Source-Level Debugging and Dynamic Program Slicing – Frank Tip - 1994