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)

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

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)