Separation Logic Contracts for a Java-Like Language with Fork/Join

DOI10.1007/978-3-540-79980-1_16zbMath1170.68413OpenAlexW2109121837MaRDI QIDQ5505424

Clément Hurlin, Christian Haack

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00218114/file/techrep.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automatic Parallelization and Optimization of Programs by Proof Rewriting ⋮ Separation Logic Contracts for a Java-Like Language with Fork/Join

Uses Software

• JML
• cminor

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Resources, concurrency, and local reasoning
• Separation logic, abstraction and inheritance
• Enhancing modular OO verification with separation logic
• Separation and information hiding
• Local Reasoning for Storable Locks and Threads
• The Logic of Bunched Implications
• BI as an assertion language for mutable data structures
• Separation logic and abstraction
• Permission accounting in separation logic
• Connecting effects and uniqueness with adoption
• Programming Languages and Systems
• Separation Logic Contracts for a Java-Like Language with Fork/Join

This page was built for publication: Separation Logic Contracts for a Java-Like Language with Fork/Join