Output details
11 - Computer Science and Informatics
University of Birmingham
Return to search
Output 0 of 0 in the submission
Output title
Syntactic Control of Interference for Separation Logic
Type
E - Conference contribution
Name of conference/published proceedings
POPL '12 -The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Volume number
-
Issue number
-
First page of article
323
ISSN of proceedings
-
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<11>This paper presents a novel formalisation for Concurrent Separation Logic using ideas of "Syntactic control of interference". John Reynolds, who originated Separation Logic, used an early description of the system in his course at CMU and made contributions that led to the joint paper, published in the top conference in programming languages.
One of the reviewers for the conference wrote: "I expect the system quickly to become the standard basis of CSL-like logics, of which there are a number, given the simplicity of the system's formulation and soundness proof, ability to treat simple cases simply, and gain in expressivity..."
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
