Active Bibliography

81 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
20 A Declarative Approach to Run-Time Code Generation – Mark Leone, Peter Lee - 1996
Run-Time Code Generation for Type-Directed Partial Evaluation – Morten Rhiger - 1999
25 Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization – Mark Leone, R. Kent Dybvig - 1997
55 A brief history of just-in-time – John Aycock - 2003
237 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
51 Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study – François Noël, Luke Hornof, Charles Consel, Julia L. Lawall - 1998
57 tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation – Massimiliano Poletto , Dawson R. Engler, M. Frans Kaashoek - 1997
114 VCODE: A retargetable, extensible, very fast dynamic code generation system – Dawson R. Engler - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
XAY*Z\ [ Z!V]^Y`_a_cb R,SFTHUWV – J Kl*nmom Pq
11 Reasoning about the consequences of authorization policies in a linear epistemic logic – Henry DeYoung, Frank Pfenning - 2009
3 Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012
Design and Implementation of a Dynamic – Matthai Philipose University, Matthai Philipose
9 Fast, Effective Dynamic Compilation – Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad - 1996
95 DyC: An Expressive Annotation-Directed Dynamic Compiler for C – Brian Grant , Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
11 Compiler Generation for Interactive Graphics using Intermediate Code – Scott Draves - 1996