scientific article; zbMATH DE number 910715

zbMATH Open0847.68014MaRDI QIDQ4885873FDOQ4885873

Authors: Richard S. Bird, Oege de Moor 

Publication date: 28 July 1996

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

Recommendations

• scientific article; zbMATH DE number 977284
• Algebraic dynamic programming
• scientific article; zbMATH DE number 1390330
• A discipline of dynamic programming over sequence data
• scientific article; zbMATH DE number 3936467

zbMATH Keywords

algorithm designcategorical calculus of relations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Categories of spans/cospans, relations, or partial maps (18B10)

Cited In (24)

• Title not available (Why is that?)
• Essential concepts of algebraic specification and program development
• Program calculation in Coq
• Final Dialgebras: From Categories to Allegories
• Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
• A compositional framework for developing parallel programs on two-dimensional arrays
• Assertions and recursions
• Title not available (Why is that?)
• Preface
• Provably correct derivation of algorithms using FermaT
• Partiality. II: Constructed relation algebras
• Transformational programming and the paragraph problem
• Datatype-generic termination proofs
• Program algebras of recursive functions
• How to prove decidability of equational theories with second-order computation analyser SOL
• Constructive Galois Connections
• Filter-embedding semiring fusion for programming with MapReduce
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Automating the Calculus of Relations
• Generic functional programming with types and relations
• Towards patterns for heaps and imperative lambdas
• Title not available (Why is that?)

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 Q4885873)