A Local Shape Analysis Based on Separation Logic

  • Dino Distefano
  • Peter W. O’Hearn
  • Hongseok Yang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3920)

Abstract

We describe a program analysis for linked list programs where the abstract domain uses formulae from separation logic.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dino Distefano
    • 1
  • Peter W. O’Hearn
    • 1
  • Hongseok Yang
    • 2
  1. 1.Queen MaryUniversity of LondonUK
  2. 2.Seoul National UniversitySouth Korea

Personalised recommendations