Certificates and Separation Logic

DOI10.1007/978-3-319-05119-2_16zbMath1348.68041OpenAlexW1272983781MaRDI QIDQ2830040

Cristiano Calcagno, Bertrand Meyer, Martin Nordio

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_16

Mathematics Subject Classification ID

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

Uses Software

• jStar

Cites Work

• Resources, concurrency, and local reasoning
• Program and proof optimizations with type systems
• Separation logic, abstraction and inheritance
• Enhancing modular OO verification with separation logic
• Separation and information hiding
• Preservation of Proof Obligations from Java to the Java Virtual Machine
• Programming Languages and Systems

This page was built for publication: Certificates and Separation Logic