scientific article; zbMATH DE number 910715
From MaRDI portal
Publication:4885873
zbMath0847.68014MaRDI QIDQ4885873
Publication date: 28 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items (15)
Towards patterns for heaps and imperative lambdas ⋮ Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Partiality. II: Constructed relation algebras ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Filter-embedding semiring fusion for programming with MapReduce ⋮ Generic functional programming with types and relations ⋮ On Automating the Calculus of Relations ⋮ A compositional framework for developing parallel programs on two-dimensional arrays ⋮ Assertions and recursions ⋮ Final Dialgebras: From Categories to Allegories ⋮ Program Calculation in Coq ⋮ Provably correct derivation of algorithms using FermaT ⋮ Preface ⋮ Datatype-generic termination proofs ⋮ Constructive Galois Connections
This page was built for publication:
