Separation Logic for Multiple Inheritance

DOI10.1016/j.entcs.2008.04.051zbMath1286.68320OpenAlexW2107436049MaRDI QIDQ5415606

Shengchao Qin, Chenguang Luo

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.051

zbMATH Keywords

verificationseparation logicmultiple inheritance

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Lazy behavioral subtyping ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Verifying traits: an incremental proof system for fine-grained reuse

Uses Software

• Eiffel

Cites Work

• Unnamed Item
• Separation logic, abstraction and inheritance
• Enhancing modular OO verification with separation logic
• Separation and information hiding
• BI as an assertion language for mutable data structures
• Separation logic and abstraction
• CONCUR 2004 - Concurrency Theory

This page was built for publication: Separation Logic for Multiple Inheritance