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

Documents Related by Co-Citation

12 Modular Compiler Verification – Markus Muller-Olm - 1996
23 Piton: A verified assembly level language – J S Moore - 1988
8 The Verified Compilation of Vista Programs – Paul Curzon - 1994
2 Transputer State and Instruction Set Specification and – Wolfgang Goerigk - 1995
2 Die Ubersetzung von intermediateC in den Assemblercode Tasm des Transputers – Ulrich Hoffmann - 1996
18 Compiler Correctness and Implementation Verification: The Verifix Approach – Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, Friedrich W. Von Henke, Ulrich Hoffmann, Hans Langmaack, Holger Pfeifer, Harald Ruess, Wolf Zimmermann - 1996
9 A veri compiler for pure PreScheme – Dino P Oliva, Mitchell Wand - 1992
39 Normal form approach to compiler design – C A R Hoare, He Jifeng, A Sampaio - 1993
38 Refinement algebra proves correctness of compiling specifications – C A R Hoare - 1990
2 Formal Verification of a Compiler Back-end Generic Checker Program – Axel Dold, Vincent Vialard - 2000
28 Formal Verification of a Java Compiler in Isabelle – Martin Strecker, Fakultät Für Informatik, Technische Universität München - 2002
84 Correctness of a compiler for arithmetic expressions – John Mccarthy, James Painter - 1967
11 Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct – Wolfgang Goerigk, Ulrich Hoffmann - 1997
9 Transputer Instruction Set: A compiler writer's guide – INMOS Limited - 1988
1313 Software Engineering: A Practitioner’s Approach – Roger S Pressman - 2001
1352 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
562 Assigning meanings to programs – R W Floyd - 1967
73 The WAM---Definition and Compiler Correctness – Egon Borger - 1995
2 Tachyon common lisp: An efficient and portable implementation of cltl2 – A Nagasaka, Y Shintani, T Ito - 1992