Program Logics for Certified Compilers

First Page		Document Content
Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic		Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Download Document from Source Website File Size: 450,69 KB Share Document on Facebook

	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, DocID: 1ro7T - View Document
	university of copenhagen department of computer science Faculty of Science DocID: 1qYLG - View Document
	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili DocID: 1pZIQ - View Document
	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1 DocID: 1oklI - View Document
	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer DocID: 1nsnd - View Document