Footprints in Local Reasoning

DOI10.2168/LMCS-5(2:4)2009MaRDI QIDQ3636803zbMATH OpenFDO

Authors Mohammad Raza, Philippa Gardner

Publication date 30 June 2009

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-5(2:4)2009

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Footprints in Local Reasoning
• scientific article; zbMATH DE number 2087445
• scientific article; zbMATH DE number 1841809
• Operational reasoning for functions with local state
• Being and change: reasoning about invariance

Cited in

(5)

• Granularity and concurrent separation logic
• Being and change: reasoning about invariance
• scientific article; zbMATH DE number 2087445 (Why is no real title available?)
• Footprints in Local Reasoning
• Mechanizing Mathematical Reasoning

This page was built for publication: Footprints in Local Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636803)