Matthew Parkinson University of Cambridge, Computer Laboratory, Cambridge,...  Home/Search
Context
Related
| cl.cam.ac.uk/~mjp4...mShortAbstract.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cl.cam.ac.uk/~mjp41/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document. We define the predicate family environment, G , as a set of predicate definitions indexed by predicate name. We extend separation logic with abstract predicates, written r D > K NMIOQ to indicate that the object M satisfies an element from the class or below of the predicate family q red with arguments . In object-oriented programming an object could be from one of many classes; abstract predicates mirror this by asserting that an element from a set of properties... (Update)
Active bibliography (related documents): More All
0.0: Separation Logic and Abstraction - Parkinson, Bierman (2005) (Correct)
0.0: A Decidable Fragment of Separation Logic - Berdine, Calcagno, O'Hearn (2004) (Correct)
0.0: A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ university-when,
author = "Matthew Parkinson University",
title = "When Separation Logic met Java (Work in progress)",
url = "citeseer.ist.psu.edu/758269.html" }
Citations (may not include all citations):134 A theory of objects (context) - Abadi, Cardelli - 1996
58 Local reasoning about programs that alter data structures (context) - O'Hearn, Reynolds et al. - 2001
26 Separation and information hiding (context) - O'Hearn, Yang et al. - 2004
Documents on the same site (http://www.cl.cam.ac.uk/~mjp41/index.html): More
When separation logic met Java (by example) - Matthew Parkinson Middlesex (Correct)
Variables as Resource in Hoare Logics - Matthew Parkinson And (2006) (Correct)
Permission Accounting in Separation Logic - Richard Bornat School (2005) (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