Data Refinement IBP

MaRDI QIDQ40550swMATHFDO

Authors Viorel Preoteasa, Ralph-Johan Back

Publication date 28 May 2010

Official website https://www.isa-afp.org/entries/DataRefinementIBP.html

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

Described by source

• Data refinement of invariant based programs

Cited in

(3)

• Algebra of monotonic Boolean transformers
• Deutsch Schorr Waite
• Invariant diagrams with data refinement

This page was built for software: Data Refinement IBP