Relational separation logic
type: Item
instance of: scholarly article
title: Relational separation logic
zbMATH Open document ID: 1111.68078
author: Hongseok Yang
published in: Theoretical Computer Science
publication date: 2007-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5151783
zbMATH Keywords: separation logic
zbMATH Keywords: program verification
zbMATH Keywords: relational reasoning
zbMATH Keywords: Schorr-Waite graph marking algorithm
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.12.036
OpenAlex ID: W2115974895
cites work: BI as an assertion language for mutable data structures
cites work: Q4783297
cites work: Local reasoning about a copying garbage collector
cites work: Q3713577
cites work: Prespecification in data refinement
cites work: A single complete rule for data refinement
cites work: Q3932278
cites work: Q4738240
cites work: The Logic of Bunched Implications
cites work: Q4474211
cites work: Computer Aided Verification
cites work: Simple relational correctness proofs for static analyses and program transformations
cites work: Q4328055
DOI: 10.1016/J.TCS.2006.12.036
description: scientific article; zbMATH DE number 5151783