Towards Mechanized Program Verification with Separation Logic Tjark Weber

First Page		Document Content
Date: 2005-09-13 07:35:48 Mathematical logic Logic in computer science Theoretical computer science Substructural logic Logic Separation logic Constructible universe Ordinal number Computability theory Proof theory		Towards Mechanized Program Verification with Separation Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Download Document from Source Website File Size: 3,01 MB 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