A Local Shape Analysis Based on Separation Logic
Top Cited Papers
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 287-302
- https://doi.org/10.1007/11691372_19
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A semantics for procedure local heaps and its abstractionsACM SIGPLAN Notices, 2005
- Symbolic Execution with Separation LogicLecture Notes in Computer Science, 2005
- Predicate Abstraction and Canonical Abstraction for Singly-Linked ListsLecture Notes in Computer Science, 2005
- Interprocedural Shape Analysis for Cutpoint-Free ProgramsLecture Notes in Computer Science, 2005
- A Decidable Fragment of Separation LogicLecture Notes in Computer Science, 2004
- Information Flow Analysis in Logical FormLecture Notes in Computer Science, 2004
- Resources, Concurrency and Local ReasoningLecture Notes in Computer Science, 2004
- Separation and information hidingACM SIGPLAN Notices, 2004
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Local Reasoning about Programs that Alter Data StructuresLecture Notes in Computer Science, 2001