scientific article; zbMATH DE number 890353

zbMATH Open0852.68007MaRDI QIDQ4882541FDOQ4882541

Authors: Hendrik Doornbos 

Publication date: 18 June 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

well-foundednessprogram constructionrelation calculusadmitting inductionimplementing relations

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)

Cited In (11)

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

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)