scientific article; zbMATH DE number 890353

MaRDI QIDQ4882541zbMATH OpenFDO

Authors Hendrik Doornbos

Publication date 18 June 1996

zbMATH Keywords

admitting inductionimplementing relationsprogram constructionrelation calculuswell-foundedness

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Reductivity
• scientific article; zbMATH DE number 2087344
• scientific article; zbMATH DE number 1086635
• Reductional programming of functions represented by recurrent relations of the first order
• scientific article; zbMATH DE number 1086633

Cited in

(14)

• Datatype-generic termination proofs
• A calculational approach to mathematical induction
• Reconstruction of linear index expressions for reducing programs to a linear class
• Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
• Characterizing determinacy in Kleene algebras
• Components and acyclicity of graphs. An exercise in combining precision with concision
• A compiled implementation of strong reduction
• Reducing Behavioural to Structural Properties of Programs with Procedures
• scientific article; zbMATH DE number 1303447 (Why is no real title available?)
• scientific article; zbMATH DE number 1086635 (Why is no real title available?)
• Final Dialgebras: From Categories to Allegories
• scientific article; zbMATH DE number 1434122 (Why is no real title available?)
• A theory of reduced and minimal procedural dependencies
• Reasoning about TSO programs using reduction and abstraction

This page was built for publication:

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