A temporal-logic approach to binding-time analysis (1996)

by Rowan Davies
Venue:In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
Citations:80 - 5 self

Documents Related by Co-Citation

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
207 Type-directed partial evaluation – Olivier Danvy - 1996
21 Fast Binding-Time Analysis for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1996
10 A Categorical Analysis of Multi-Level Languages (Extended Abstract) – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
40 Quasiquotation in Lisp – Alan Bawden - 1999
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
104 `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation – Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek - 1996
33 A Computational Formalization for Partial Evaluation – John Hatcliff, Olivier Danvy, I Ff, Ol - 1997
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993