The VLISP verified PreScheme compiler
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (1-2) , 111-182
- https://doi.org/10.1007/bf01128408
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Realistic compilation by program transformation (detailed summary)Published by Association for Computing Machinery (ACM) ,1989