The VLISP verified PreScheme compiler
The VLISP verified PreScheme compiler is a scholarly work, published in 1995 in ''Higher-Order and Symbolic Computation''. The main subjects of the publication include Compiler correctness, programming language, compiler, interprocedural optimization, dead code elimination, code generation, computer science, combinatory logic, program analysis, fault tolerance, object code, machine code, and parallel computing. The paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system.