Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems

Cached

Download Links

by Saif Ullah Khan

Active Bibliography

1165 Proof-Carrying Code – George C. Necula - 1997
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
423 Introduction to the ISO specification language Lotos – Tommaso Bolognesi - 1988
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996