Cogen in Six Lines (1996)

Cached

Download Links

by Peter J. Thiemann
Venue:Proc. International Conference on Functional Programming
Citations:31 - 11 self

Active Bibliography

5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
(Extended version) ∗ – Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger - 2000
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997