Elimination of spatial connectives in static spatial logics

DOI10.1016/j.tcs.2004.10.006zbMath1078.68098OpenAlexW2066135421MaRDI QIDQ1763729

Etienne Lozes

Publication date: 22 February 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.10.006

zbMATH Keywords

MinimalitySpatial logicsMobile ambientsSeparation logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Completeness and expressiveness of pointer program verification by separation logic ⋮ On the almighty wand ⋮ On the Almighty Wand ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ Local Reasoning about Data Update

Uses Software

• SLMC

Cites Work

• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Elimination of spatial connectives in static spatial logics