VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification,

First Page		Document Content
Date: 2012-10-05 06:23:45		VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification, Add to Reading List Source URL: www.comp.nus.edu.sg Download Document from Source Website File Size: 118,42 KB Share Document on Facebook