Inductive data types for predicate transformers

DOI10.1016/0020-0190(92)90001-CMaRDI QIDQ1199549zbMATH OpenWikidataFDO

Authors Oege de Moor

Publication date 16 January 1993

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(92)90001-C

zbMATH Keywords

catamorphismsdata typespredicate transformersprogramming calculirefinement calculus

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• A recursion theorem for predicate transformers on inductive data types
• Inductive-data-type systems
• Data type inference for logic programming
• Inductive reasoning about effectful data types
• Type inference for Datalog with complex type hierarchies
• Predicate transformers and higher-order programs
• Predicates as types
• Data refinement of predicate transformers
• Towards a calculus of predicate transformers

Cites work

• A calculus of refinements for program derivations
• A fixpoint theorem for complete categories
• Data structures and program transformation
• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 29047 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• The weakest prespecification

Cited in

(4)

• A recursion theorem for predicate transformers on inductive data types
• Data refinement, call by value and higher order programs
• Towards a calculus of predicate transformers
• Predicate transformers and higher-order programs

This page was built for publication: Inductive data types for predicate transformers

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