Inductive data types for predicate transformers
type: Item
instance of: scholarly article
title: Inductive data types for predicate transformers
zbMATH Open document ID: 0764.68095
DOI: 10.1016/0020-0190(92)90001-C
author: Oege de Moor
published in: Information Processing Letters
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 18A25
zbMATH DE Number: 94469
zbMATH Keywords: programming calculi
zbMATH Keywords: predicate transformers
zbMATH Keywords: refinement calculus
zbMATH Keywords: data types
zbMATH Keywords: catamorphisms
MaRDI profile type: Publication
cites work: A calculus of refinements for program derivations
cites work: Q3986541
cites work: Q3137150
cites work: Q3995720
cites work: The weakest prespecification
cites work: A fixpoint theorem for complete categories
cites work: Data structures and program transformation
cites work: Q3746866
cites work: Q3996918
Wikidata QID: Q127436296
Recommended article: A recursion theorem for predicate transformers on inductive data types
Recommended article: Inductive-data-type systems
Recommended article: Data type inference for logic programming
Recommended article: Inductive reasoning about effectful data types
Recommended article: Type inference for datalog with complex type hierarchies
Recommended article: Predicate transformers and higher-order programs
Recommended article: Q5435638
Recommended article: Data refinement of predicate transformers
Recommended article: Towards a calculus of predicate transformers
description: scientific article; zbMATH DE number 94469