A Provably Correct Compiler Generator (1992)

Cached

Download Links

by Jens Palsberg
Citations:26 - 2 self

Active Bibliography

12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
731 Notions of Computation and Monads – Eugenio Moggi - 1991
554 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
881 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
494 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
457 Comprehending Monads – Philip Wadler - 1992
457 Domain Theory – Samson Abramsky, Achim Jung - 1994