scientific article; zbMATH DE number 910715
From MaRDI portal
Publication:4885873
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
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)