Syntactic control of interference for separation logic

DOI10.1145/2103656.2103695MaRDI QIDQ2942883zbMATH OpenOpenAlexWikidataFDO

Authors Uday S. Reddy, John C. Reynolds

Publication date 11 September 2015

Published in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2103656.2103695

zbMATH Keywords

conditional critical regionsfractional permissionsseparation logicstatic analysissyntactic control of interference

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Syntactic control of interference and concurrent separation logic
• Separation logic and concurrency
• Reasoning over permissions regions in concurrent separation logic
• Separation Logic for Higher-Order Store
• CONCUR 2004 - Concurrency Theory

Cited in

(11)

• Reasoning over permissions regions in concurrent separation logic
• Revisiting concurrent separation logic
• Decidability and syntactic control of interference
• Automata-theoretic semantics of idealized Algol with passive expressions
• Automatic inference of access permissions
• The type discipline of behavioral separation
• Syntactic control of interference and concurrent separation logic
• A Logical Calculus for Modelling Interferences
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• Separation logic for non-local control flow and block scope variables
• Reasoning about separation using abstraction and reification

This page was built for publication: Syntactic control of interference for separation logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942883)