Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (0)

Cached

Download Links

by Olivier Danvy , René Vestergaard
Venue:Eighth International Symposium on Programming Language Implementation and Logic Programming
Citations:24 - 8 self

Active Bibliography

A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard, Olivier Danvy, René Vestergaard - 1996
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
unknown title – unknown authors
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
28 From Interpreter to Compiler and Virtual Machine: A Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001