Algebraic system specification and development. A survey and annotated bibliography

zbMath0875.68642MaRDI QIDQ1202052

No author found.

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

BibliographyDevelopmentAlgebraic system specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (11)

Algebraic specification and development in geometric modeling ⋮ Structured theories and institutions ⋮ The data type variety of stack algebras ⋮ Essential concepts of algebraic specification and program development ⋮ A decade of TAPSOFT ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ The definition of Extended ML: A gentle introduction ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ Algebraic transformation of unary partial algebras II: Single-pushout approach ⋮ CASL: the Common Algebraic Specification Language. ⋮ OBSCURE, a specification language for abstract data types

Uses Software

• Smalltalk
• OBSCURE
• Nuprl
• LCF

This page was built for publication: Algebraic system specification and development. A survey and annotated bibliography