Publication:3217583
From MaRDI portal
zbMath0554.68008MaRDI QIDQ3217583
Jan A. Bergstra, John-Jules Ch. Meyer
Publication date: 1984
equational specification; initial algebra semantics; finite conditional specification; set-theoretical data types; two-sorted data structure
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68P05: Data structures
68N01: General topics in the theory of software
Related Items
A constructive method for abstract algebraic software specification, Algebraic specifications of computable and semicomputable data types, Elimination of conditions