scientific article; zbMATH DE number 3798986

MaRDI QIDQ4743710zbMATH OpenFDO

Authors Herbert A. Klaeren

Publication date 1983

zbMATH Keywords

abstract data typesalgebraic specificationinitial algebra semantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Data structures (68P05)

Cited in

(8)

• Complete semi-Thue systems for abelian groups
• Inductively defined functions in functional programming languages
• Categorical aspects of data type constructors
• The equational theory of parameterized specifications
• When is an extension of a specification consistent? Decidable and undecidable cases
• Term-rewriting systems with rule priorities
• The verification of modules
• 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 Q4743710)