The completeness of the algebraic specification methods for computable data types

Publisher Website

30 September 1982

journal article
Published by Elsevier in Information and Control

Vol. 54 (3) , 186-200
https://doi.org/10.1016/s0019-9958(82)80021-1

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
SIAM Journal on Computing, 1983
On the adequacy of finite equational methods for data type specification
ACM SIGPLAN Notices, 1979
Final algebra semantics and data type extensions
Journal of Computer and System Sciences, 1979
The algebraic specification of abstract data types
Acta Informatica, 1978
Specification techniques for data abstractions
IEEE Transactions on Software Engineering, 1975
An axiomatic basis for computer programming
Communications of the ACM, 1969
Numerical analysis as an independent science
BIT Numerical Mathematics, 1966
CONSTRUCTIVE ALGEBRAS I
Russian Mathematical Surveys, 1961