Semantics and Data Refinement of Invariant Based Programs

MaRDI QIDQ7361822FDO

Authors Viorel Preoteasa, Ralph-Johan Back

Publication date 28 May 2010

Cites work

• An efficient machine-independent procedure for garbage collection in various list structures
• Data refinement of invariant based programs
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication

Cited in

(1)

• Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement

This page was built for software: Semantics and Data Refinement of Invariant Based Programs