Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Date
Authors
Hou, Zhe
Clouston, Ranald
Gore, Rajeev
Tiu, Alwen
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery (ACM)
Abstract
Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that mutate memory. These logics are "abstract" because they are independent of any particular concrete memory model. Their assertion languages, called propo
Description
Keywords
Citation
Collections
Source
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description