Dino Distefano, Peter W. O'Hearn, Hongseok Yang  Home/Search
Context Related
| dcs.qmul.ac.uk/%7Eddin...localshape.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmul.ac.uk/%7E...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a program analysis for linked list programs where the abstract domain uses formulae from separation logic. (Update)
Cited by: More
A Marriage of Rely/Guarantee and Separation - Logic Viktor Vafeiadis (Correct)
Automatic Termination Proofs for Programs With Shape-Shifting .. - Josh Berdine Byron (2006) (Correct)
Interprocedural Shape Analysis with Separated Heap.. - Gotsman, Berdine, Cook (Correct)
Active bibliography (related documents): More All
0.7: A Better Logic and Decision Procedure for Predicate.. - Rakamaric, Bingham, Hu (2006) (Correct)
0.5: Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
0.5: Symbolic Execution with Separation Logic - Berdine, Calcagno, O'Hearn (2005) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Symbolic execution with separation logic - Berdine, Calcagno et al. - 2005
3: Separation logic: a logic for shared mutable data structures - Reynolds - 2002
3: A logic and decision procedure for predicate abstraction of heapmanipulating pro.. - Bingham, Rakamaric - 2005
BibTeX entry: (Update)
D. Distefano, P. O'Hearn, and H. Yang. A local shape analysis based on separation logic. In TACAS'06, 2006. http://citeseer.ist.psu.edu/distefano06local.html More
@misc{ distefano06local,
author = "D. Distefano and P. O'Hearn and H. Yang",
title = "A local shape analysis based on separation logic",
text = "D. Distefano, P. O'Hearn, and H. Yang. A local shape analysis based on
separation logic. In TACAS'06, 2006.",
year = "2006",
url = "citeseer.ist.psu.edu/distefano06local.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
150 Parametric shape analysis via 3valued logic - Sagiv, Reps et al. - 2002
111 Separation logic: A logic for shared mutable data structures - Reynolds - 2002
58 Local reasoning about programs that alter data structures (context) - O'Hearn, Reynolds et al. - 2001
41 Boolean and Cartesian abstraction for model checking C progr.. - Ball, Podelski et al. - 2001
26 Separation and information hiding (context) - O'Hearn, Yang et al. - 2004
13 Information flow analysis in logical form - Amtoft, Banerjee - 2004
7 A decidable fragment of separation logic - Berdine, Calcagno et al. - 2004
6 Symbolic execution with separation logic - Berdine, Calcagno et al. - 2005
6 Who is pointing when to whom: on model-checking pointer stru.. - Distefano, Rensink et al. - 2003
5 Predicate abstraction and canonical abstraction for singly-l.. (context) - Manevich, Yahav et al. - 2005
4 On model checking the dynamics of object-based software: a f.. - Distefano - 2003
3 A logic for information flow analysis of pointer programs - Amtoft, Bandhakavi et al. - 2006
3 A semantics for procedure local heaps and its abstractions (context) - Rinetzky, Bauer et al. - 2005
2 Interprocedural shape analysis for cutpointfree programs (context) - Rinetzky, Sagiv et al. - 2005
2 Inferring invariants in Separation Logic for imperative list.. (context) - Magill, Nanevski et al. - 2005
1 Preliminary version appeared in CONCUR (context) - O'Hearn, concurrency et al. - 2006
Documents on the same site (http://www.dcs.qmul.ac.uk/%7Eddino/publications.html): More
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
Parametric model checking for Mobile Ambients - Distefano (Correct)
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC