A simple transfer lemma for algebraic specifications

DOI10.1016/0020-0190(82)90091-6zbMath0495.68021OpenAlexW2056155316WikidataQ124818292 ScholiaQ124818292MaRDI QIDQ5905240

John-Jules Ch. Meyer, Jan A. Bergstra

Publication date: 1982

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/12822

zbMATH Keywords

algebraic specificationabstract data typesinitial algebra semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item
• Parallel realization of systems, using factorizations and quotients in categories
• On the elimination of iteration quantifiers in a fragment of algorithmic logic
• Data Type Specification: Parameterization and the Power of Specification Techniques

This page was built for publication: A simple transfer lemma for algebraic specifications