Practical Tactics for Separation Logic
Author:
- 1 January 2009
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 343-358
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Imperative Functional Programming with Isabelle/HOL2008
- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification2007
- Separation Logic for Small-Step cminor2007
- Formal Verification of the Heap Manager of an Operating System Using Separation LogicLecture Notes in Computer Science, 2006
- Inductive definitions in the system Coq rules and properties2005
- Proving pointer programs in higher-order logicInformation and Computation, 2005
- Certifying Machine Code Safety: Shallow Versus Deep Embedding2004
- Using reflection to build efficient and certified decision procedures1997
- Linear logicTheoretical Computer Science, 1987
- A nonrecursive list compacting algorithmCommunications of the ACM, 1970