Dino P. Oliva and Mitchell Wand. A Veri ed Compiler for Pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Rigorous Compiler Implementation Correctness: How to Prove.. - Goerigk, Hoffmann (1997) (1 citation) (Correct)
....yet distinguishing these two tasks. J S. Moore [21] uses the Boyer Moore prover nqthm to prove the correctness of a compilation function from Piton into FM8501 Code, but not the correctness of its implementation in machine code, as Moore explicitly remarks. More recently, the VLisp project reports [24] also express the necessity of proving the compiler implementation correct. In the VLisp project, however, this task has explicitly been left out. Our work is very closely related to Paul Curzon s work on compiler veri cation [4] The crucial di erence is, that he uses and trusts a theorem ....
Dino P. Oliva and Mitchell Wand. A Veried Compiler for Pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, Northeastern University, February 1992.
A Verified Run-Time Structure for Pure PreScheme - Oliva, Wand (1992) Self-citation (Oliva Wand) (Correct)
No context found.
Dino P. Oliva and Mitchell Wand. A Veri ed Compiler for Pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992.
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (1 citation) (Correct)
No context found.
Dino P. Oliva and Mitchell Wand. A veri ed compiler for pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992.
The Revised VLISP PreScheme Front End - Ramsdell (1993) (1 citation) (Correct)
No context found.
Dino P. Oliva and Mitchell Wand. A veri ed compiler for pure prescheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992.
A Guide to VLISP, A Verified Programming Language.. - Guttman, Monk.. (1992) (Correct)
No context found.
Dino P. Oliva and Mitchell Wand. A veri ed compiler for pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992.
VLISP Byte Code Interpreter Vipin Swarup William M. Farmer.. - September This Work (Correct)
No context found.
Dino P. Oliva and Mitchell Wand. A veri ed compiler for pure PreScheme. Technical Report NU-CCS-92-5, Northeastern University College of Computer Science, February 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC