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

	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 DocID: 1rfeR - View Document
	Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS DocID: 1oC4C - View Document
	Program Logics for Certified Compilers DocID: 1lxdv - View Document
	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 DocID: 1loV2 - View Document