Static and Dynamic Semantics Processing (1991)

Cached

Download Links

by Charles Consel , Olivier Danvy
Venue:Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
Citations:48 - 25 self

Active Bibliography

23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
20 Generating a Compiler for a Lazy Language by Partial Evaluation – Jesper Jørgensen - 1992
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
14 Generating Action Compilers by Partial Evaluation – Anders Bondorf, Jens Palsberg - 1996
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
1 Principal Type Specialization of Dynamic Sum-Types – Alejandro C. Russo - 2004
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
48 Efficient analyses for realistic off-line partial evaluation – Anders Bondorf, Jesper Jørgensen - 1993
2 Towards efficient partial evaluation – Karoline Malmkjær - 1993
29 Binding-Time Analysis and the Taming of C Pointers – Lars Ole Andersen - 1993
2 Separate Polyvariant Binding Time Reconstruction – Charles Consel, Pierre Jouvelot, Peter Ørbæk - 1994
2 Sort Inference in Action Semantics – Deryck Forsyth Brown - 1996
by – Facultad De Ciencias Exactas, Ingeniería Y Agrimensura, Alejandro C. Russo, Santa Fe, Argentina Supervisor, Msc Pablo, E. Martínez López, Copyright C Alej, Ro C. Russo - 2004