Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Bibliographic Details
Main Authors:	Calcagno, C, Distefano, D, Yang, H, O'Hearn, P
Format:	Conference item
Published:	Springer−Verlag 2006

Similar Items

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
by: Filipovic, I, et al.
Published: (2010)

Compositional Shape Analysis by means of Bi−abduction
by: Calcagno, C, et al.
Published: (2009)

Compositional Shape Analysis by Means of Bi-Abduction
by: Calcagno, C, et al.
Published: (2011)

Compositional Shape Analysis by means of Bi−abduction
by: Calcagno, C, et al.
Published: (2011)

Footprint Analysis: A Shape Analysis that Discovers Preconditions
by: Calcagno, C, et al.
Published: (2007)

Local Action and Abstract Separation Logic
by: Calcagno, C, et al.
Published: (2007)

Shape Analysis for Composite Data Structures
by: Berdine, J, et al.
Published: (2007)

Scalable Shape Analysis for Systems Code
by: Yang, H, et al.
Published: (2008)

Scalable shape analysis for systems code
by: Yang, H, et al.
Published: (2008)

A local shape analysis based on separation logic
by: Distefano, D, et al.
Published: (2015)

Abstraction for Concurrent Objects
by: Filipovic, I, et al.
Published: (2010)

Abstraction for concurrent objects
by: Filipovic, I, et al.
Published: (2010)

Abstraction for Concurrent Objects
by: Filipovic, I, et al.
Published: (2009)

Computability and Complexity Results for a Spatial Assertion Language for Data Structures
by: Calcagno, C, et al.
Published: (2001)

Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis
by: Lee, O, et al.
Published: (2015)

SAW: the spatial assertion workbench
by: Calcagno, C, et al.
Published: (2015)

Deciding Bit−Vector Arithmetic with Abstraction
by: Bryant, R, et al.
Published: (2007)

Tiny Pointers
by: Bender, Michael, et al.
Published: (2024)

Applying abstract acceleration to (co−)reachability analysis of reactive programs
by: Schrammel, P, et al.
Published: (2012)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
by: Kroening, D, et al.
Published: (2004)

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
by: Weihl, William Edward
Published: (2023)

Unfolding Pointer Algorithms
by: Bird, R
Published: (2001)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
by: Laurenti, L, et al.
Published: (2017)

Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
by: Cardelli, L, et al.
Published: (2018)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
by: Laurenti, L, et al.
Published: (2017)

Guaranteed error bounds on approximate model abstractions through reachability analysis
by: Cardelli, L, et al.
Published: (2018)

Data Refinement with Low−level Pointer Operations
by: Mijajlovic, I, et al.
Published: (2005)

Portable Qiblat pointer device /
by: 368936 Amylia Hamzah
Published: (2006)

A Semantic Basis for Local Reasoning
by: Yang, H, et al.
Published: (2015)

RANCANGBANGUN MOUSE POINTER BERBASIS WEBCAM
by: , Rahmad Widodo, et al.
Published: (2011)

A Trace Model for Pointers and Objects
by: Hoare, C, et al.
Published: (1999)

Functional Reachability
by: Ong, C, et al.
Published: (2009)

FUNCTIONAL PEARL Unfolding pointer algorithms
Published: (2001)

Beyond quantifier-free interpolation in extensions of presburger arithmetic
by: Brillout, A, et al.
Published: (2011)

Possible Worlds and Resources: The Semantics of BI
by: Pym, D, et al.
Published: (2004)

Pointers for parenting for mental health service professionals /
by: Gupta, Rajinder M., 1939-, et al.
Published: (2006)

Pointer analysis and its applications for Java programs
by: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Published: (2014)

Separation Logic Semantics for Communicating Processes
by: Hoare, T, et al.
Published: (2008)

Separation and Information Hiding
by: O'Hearn, P, et al.
Published: (2004)

Separation and Information Hiding
by: O’Hearn, P, et al.
Published: (2009)