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

Documents Related by Co-Citation

237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
70 A uniform approach for compile-time and run-time specialization – Charles Consel, Luke Hornof, Francois Noel, Jacques Noye, Nicolae Volanschi, Universite De Rennes Irisa - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
67 Binding time analysis for higher order untyped functional languages – C Consel - 1990
22 Semantics-directed generation of a Prolog compiler, Programming Language Implementation and – C Consel, S C Khoo - 1991
18 Semantics-Directed Compilation of Non-Linear Patterns – Olivier Danvy - 1990
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
207 Type-directed partial evaluation – Olivier Danvy - 1996
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
16 Generating a compiler for a lazy language by partial evaluation – J Jrgensen - 1992
45 Parameterized partial evaluation – C Consel, S Khoo - 1993
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
625 Compiling With Continuations – A W Appel - 1992
43 Partial Evaluation of Pattern Matching in Strings – Charles Consel, Olivier Danvy - 1989
62 Tempo: Specializing Systems Applications and Beyond – C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E. -n. Volanschi, J. Lawall, J. Noyé - 1998