Mechanical Verification of Compiler Correctness (1998)

Cached

Download Links

by David William John Stringer-Calvert
Citations:9 - 0 self

Documents Related by Co-Citation

5 A Mechanically Verified Compiling Specification for a Realistic Compiler – A. Dold, F. W. von Henke, V. Vialard, W. Goerigk - 2002
301 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
845 A Formulation of the Simple Theory of Types – A Church - 1940
2 An overview of the LOCK FTLS – T Fine, J T Haigh, R C O’Brien, D L Toups - 1988
2 Top level security properties for the LOCK system – J T Haigh - 1988
3 Fortress Rochester : The Inside Story of the IBM Iseries. 29th Street – Frank G Soltis - 2001
8 Extending the non-interference model of MLS for SAT – J Haigh, W Young - 1986
3 Formal specification and verification of SIFT: A fault-tolerant flight control system – P M Melliar-Smith, R L Schwartz - 1982
3 Design verification of SIFT – L Moser, P M Melliar-Smith, R Schwartz - 1987
3 GASSP: generally accepted systems security principles. Technical report, International Information Security Foundation, retrieved on April 8 from http://web.mit.edu/security/www/gassp1.html – W Ozier - 1997
21 Experiments in SR with Different Upcall Program Structures – M S Atkins - 1988
5 Proving a Computer System Secure." Scientific Honeyweller – W D Young, W E Boebert, R Y Kain - 1985
5 A Formal Methodology for the Design of Operating System Software – L Robinson, K N Levitt, P G Neumann, A R Saxena - 1977
15 On building systems that will fail – Fernando J Corbató - 1991
18 et al.: “SIFT: Design and Analysis of a Fault–Tolerant Computer for Aircraft Control – J H Wensley, L Lamport, J Goldberg - 1978
15 KSOS— development methodology for a secure operating system – T A Berson, G L Barksdale Jr - 1979
19 Proof techniques for hierarchically structured programs – L Robinson, K N Levitt - 1977
45 A Provably Secure Operating System: The system, its applications, and proofs – P G Neumann, R S Boyer, R J Feiertag, K N Levitt, L Robinson - 1980