scientific article; zbMATH DE number 3883588

MaRDI QIDQ3217583zbMATH OpenFDO

Authors J. A. Bergstra, John-Jules Meyer

Publication date 1984

zbMATH Keywords

equational specificationfinite conditional specificationinitial algebra semanticsset-theoretical data typestwo-sorted data structure

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
• scientific article; zbMATH DE number 554481
• Simple equational specifications of rational arithmetic
• Publication:4728229
• Two impossibility theorems on behaviour specification of abstract data types

Cited in

(9)

• Algebraic specifications of computable and semicomputable data types
• On recognizable sets of integers
• Elimination of conditions
• On certain other sets of integers
• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
• scientific article; zbMATH DE number 566082 (Why is no real title available?)
• Sets of natural numbers with proscribed subsets
• scientific article; zbMATH DE number 3039119 (Why is no real title available?)
• A constructive method for abstract algebraic software specification

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