Output details
11 - Computer Science and Informatics
University of York
Output title
Deny-Guarantee Reasoning
Type
E - Conference contribution
Name of conference/published proceedings
Programming Languages and Systems, 18th European Symposium on Programming : ESOP 2009
Volume number
5502
Issue number
-
First page of article
363
ISSN of proceedings
-
Year of publication
2009
Number of additional authors
3
Additional information
<11>This paper presented the first combination of rely-guarantee reasoning
with dynamically-scoped threads (ie, fork and join). By merging logics
for behaviour and resources, deny-guarantee opened the door to better
modular reasoning about concurrency. It lead to a series of follow-on
work on modular proof systems by Dodds and others (eg Concurrent Abstract
Predicates, A Simple Abstraction...) and also substantial ongoing work by
other groups, eg on semantics by Turon et al, Fictional Separation Logic
by Jensen et al, Views by Dinsdale-Young et al.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
14
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
