A Separation Logic Framework for Imperative HOL
From MaRDI portal
- Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10--13, 2001. Proceedings
- Unnamed Publication
- Imperative Functional Programming with Isabelle/HOL
- Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
- The Isabelle collections framework
- Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18--21, 2008. Proceedings
- Verifying object-oriented programs with higher-order separation logic in Coq
This page was built for software: A Separation Logic Framework for Imperative HOL
