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

	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 DocID: 1xVYz - View Document
	National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker DocID: 1xVVX - View Document
	A Family of Provably Correct Algorithms for Exact Triangle Coun;ng Ma=hew Lee, Tze Meng Low Correctness 2017 DocID: 1xVUG - View Document
	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 DocID: 1xVvl - View Document
	Preliminaries Solution framework Correctness DocID: 1xUYJ - View Document