Thread-modular shape analysis
Authors:
Open Access
- 10 June 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (6) , 266-277
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Abstraction for Shape Analysis with Fast and Precise Transformers2006
- A Local Shape Analysis Based on Separation Logic2006
- Interprocedural Shape Analysis with Separated Heap AbstractionsLecture Notes in Computer Science, 2006
- Beyond Reachability: Shape Abstraction in the Presence of Pointer ArithmeticLecture Notes in Computer Science, 2006
- Symbolic Execution with Separation Logic2005
- Interprocedural Shape Analysis for Cutpoint-Free ProgramsLecture Notes in Computer Science, 2005
- EraserACM Transactions on Computer Systems, 1997
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Synthesis of Resource Invariants for Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1980
- Verifying properties of parallel programsCommunications of the ACM, 1976