Capsules and separation

DOI10.1109/LICS.2012.52MaRDI QIDQ2986818zbMATH OpenOpenAlexWikidataFDO

Authors Jean-Baptiste Jeannin, Dexter Kozen

Publication date 16 May 2017

Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2012.52

zbMATH Keywords

separation logiccapsules

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Capsules and closures
• Computing with capsules
• Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
• Computing with capsules
• Separation logic and abstraction

Cited in

(7)

• Computing with capsules
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Computing with capsules
• Capsules and closures
• New
• Capsules and closures: a small-step approach
• Separation and information hiding

This page was built for publication: Capsules and separation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986818)