Algebraic system specification and development. A survey and annotated bibliography
From MaRDI portal
Publication:1202052
zbMath0875.68642MaRDI QIDQ1202052
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
This page was built for publication: Algebraic system specification and development. A survey and annotated bibliography
