Syntactic control of interference for separation logic

DOI10.1145/2103656.2103695zbMATH Open1321.68131OpenAlexW4247835804WikidataQ130870002 ScholiaQ130870002MaRDI QIDQ2942883FDOQ2942883

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Automata-theoretic semantics of idealized Algol with passive expressions
• All-path reachability logic
• 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)