Inductive data types for predicate transformers
From MaRDI portal
Publication:1199549
DOI10.1016/0020-0190(92)90001-CzbMath0764.68095WikidataQ127436296 ScholiaQ127436296MaRDI QIDQ1199549
Publication date: 16 January 1993
Published in: Information Processing Letters (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
18A25: Functor categories, comma categories
Related Items
Predicate transformers and higher-order programs, A recursion theorem for predicate transformers on inductive data types, Data refinement, call by value and higher order programs
Cites Work