A local shape analysis based on separation logic
We describe a program analysis for linked list programs where the abstract domain uses formulae from separation logic.
- Publisher
- SPRINGER-VERLAG BERLIN
- Issue Date
- 2006
- Language
- English
- Article Type
- Article; Proceedings Paper
- Citation
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, v.3920, pp.287 - 302
- ISSN
- 0302-9743
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 165 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.