A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (1993)

Cached

Download Links

by Charles Consel
Venue:Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Citations:70 - 12 self

Documents Related by Co-Citation

527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
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
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
32 Partial evaluation of numerical programs in Fortran – Romana Baier, Robert Glück, Robert Zöchling - 1994
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
48 Efficient analyses for realistic off-line partial evaluation – Anders Bondorf, Jesper Jørgensen - 1993
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
50 Self-Applicable Partial Evaluation – A Bondorf - 1990
207 Type-directed partial evaluation – Olivier Danvy - 1996
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
22 Harissa: A Hybrid Approach to Java Execution – Gilles Muller, Ulrik Pagh Schultz - 1999
147 Optimistic Incremental Specialization: Streamlining a Commercial Operating System – Calton Pu, Tito Autrey, Andrew Black, Charles Consel Y, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, Ke Zhang - 1995
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
28 Self-applicable C program specialization – Lars Ole Andersen - 1992
172 Precise Concrete Type Inference for Object-Oriented Languages – John Plevyak , Andrew A. Chien - 1994