Higher-Order Representation Predicates in Separation Logic Arthur Charguéraud Inria, Université Paris-Saclay, France LRI, CNRS - Paris-Saclay - Document - PDFSEARCH.IO

First Page	Meta Content
	Higher-Order Representation Predicates in Separation Logic Arthur Charguéraud Inria, Université Paris-Saclay, France LRI, CNRS & Univ. Paris-Sud, Université Paris-Saclay, France Add to Reading List Document Date: 2015-12-17 11:18:09 Open Document File Size: 280,09 KB Share Result on Facebook

Higher-Order Representation Predicates in Separation Logic Arthur Charguéraud Inria, Université Paris-Saclay, France LRI, CNRS & Univ. Paris-Sud, Université Paris-Saclay, France Add to Reading List