Laws of data refinement
From MaRDI portal
Publication:1113664
zbMath0661.68018MaRDI QIDQ1113664
Publication date: 1989
Published in: Acta Informatica (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
Data refinement, call by value and higher order programs ⋮ Auxiliary variables in data refinement ⋮ External and internal choice with event groups in Event-B ⋮ Some proofs of data refinement ⋮ Derivation of efficient parallel programs: An example from genetic sequence analysis ⋮ Data refinement of predicate transformers ⋮ A single complete rule for data refinement ⋮ Mechanizing some advanced refinement concepts ⋮ Model-based specification ⋮ Program refinement in fair transition systems ⋮ The lattice of data refinement
