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

static analysisseparation logicsyntactic control of interferencefractional permissionsconditional critical regions

Mathematics Subject Classification ID

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

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

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)