A guide to VLISP, a verified programming language implementation (1992)

Cached

Download Links

by J. D. Guttman , L. G. Monk , J. D. Ramsdell , W. M. Farmer , V. Swarup
Venue:M 92B091, The MITRE Corporation
Citations:6 - 0 self

Active Bibliography

45 VLISP: A verified implementation of Scheme – Joshua Guttman, Vipin Swarup, John Ramsdell - 1995
1 A verified compiler for VLISP PreScheme – Dino P. Oliva, John D. Ramsdell, Mitchell Wand - 1993
15 The VLISP Verified PreScheme Compiler – Dino P. Oliva, John D. Ramsdell - 1995
5 The Revised VLISP PreScheme Front End – John D. Ramsdell - 1993
Results And Conclusions from the . . . – Joshua Guttman, John Ramsdell, Mitchell Wand
13 The VLISP Verified Scheme System – Joshua Guttman, Vipin Swarup, John Ramsdell - 1995
9 Pre-Scheme: A Scheme Dialect for Systems Programming – Richard A. Kelsey - 1997
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Modular Monadic Semantics – Sheng Liang, Paul Hudak
1 Generational copying garbage collection for Standard ML: a quantitative study – Darko Stefanovic - 1993
15 RML -- A New Language and Implementation for Natural Semantics – Mikael Pettersson - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
49 No Assembly Required: Compiling Standard ML to C – David Tarditi, Peter Lee, Anurag Acharya - 1990
Using Program Structure to Guide Optimization in the Presence of First-Class Functions. – David Tarditi - 1994
VLISP Byte Code Interpreter – Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell - 1992
1 Control Flow Analysis: A Compilation Paradigm for Functional Language – Manuel Serrano - 1995
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995