Output details
11 - Computer Science and Informatics
University of York
Output title
Concurrent abstract predicates
Type
E - Conference contribution
Name of conference/published proceedings
ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Volume number
6183
Issue number
-
First page of article
504
ISSN of proceedings
0302-9743
Year of publication
2010
Number of additional authors
4
Additional information
<11>This paper presented the first separation logic proof-system combining
ad-hoc abstraction with reasoning about fine-grained concurrency. Previous
systems had achieved either abstraction, or fine-grained reasoning, but
not both. The paper also represented a step forward in the semantics of
concurrent proof systems. This paper led the way to a line of modular
proof systems, including Fictional Separation Logic by Jensen et al and
Subjective Auxiliary State by Ley-Wild et al. Most significantly, CAP led
directly to Views by Dinsdale-Young et al, a general semantic framework
for building such proof systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
13
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
