Skip navigation
Skip navigation

Proof Search for Propositional Abstract Separation Logics via Labelled Sequents

Hou, Zhe; Clouston, Ranald; Gore, Rajeev; Tiu, Alwen

Description

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

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
URI: http://hdl.handle.net/1885/66594
Source: Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
DOI: 10.1145/2535838.2535864

Download

File Description SizeFormat Image
01_Hou_Proof_Search_for_Propositional_2014.pdf631.07 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator