On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs (1993)

Cached

Download Links

by Charles Consel , Siau Cheng Khoo
Venue:Yale University
Citations:9 - 1 self

Documents Related by Co-Citation

34 A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics – C K Gomard - 1992
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
26 From interpreting to compiling binding times – Charles Consel, Olivier Danvy - 1990
192 Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language – Craig Chambers, David Ungar - 1989
18 Expression Procedures and Program Derivation – William Louis Scherlis - 1980
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987
11 Similix manual, system version 3.0 – Anders Bondorf - 1991
9 A polyvariant binding time analysis handling partially known values – M Gengler, B Rytz - 1992
5 Binding time analysis: Abstract interpretation versus type inference – J Palsberg, M I Schwartzbach - 1992
8 An implementation of parameterized partial evaluation – C Colby, P Lee - 1991
6 Parameterized partial evaluation: theory and practice – S C Khoo - 1992
5 Subduing self-application – C Bohm - 1989
5 Report on Schism'92. Research report – C Consel - 1992
3 A programming environment for binding-time based partial evaluators – C Consel, S Pai
3 Mixed computation of Prolog – D A Fuller, S Abramsky