The Completeness of the Algebraic Specification Methods for Computable Data Types

[1]  Jan A. Bergstra,et al.  Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems , 1983, SIAM J. Comput..

[2]  James W. Thatcher,et al.  Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[3]  J. V. Tucker,et al.  Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds : (preprint) , 1993 .

[4]  Manfred Broy,et al.  Abstract Data Types as Lattices of Finitely Generated Models , 1980, MFCS.

[5]  Jan A. Bergstra,et al.  A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method , 1980, ICALP.

[6]  Peter Raulefs,et al.  Terminal Algebra Semantics and Retractions for Abstract Data Types , 1980, ICALP.

[7]  D. Kapur.  TOWARDS A THEORY FOR ABSTRACT DATA TYPES , 1980 .

[8]  Samuel N. Kamin.  Final data type specifications: a new data type specification method , 1980, POPL '80.

[9]  J. V. Tucker,et al.  A characterization of computable data types by means of a finite, equational specification mehod , 1980 .

[10]  J. V. Tucker,et al.  A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification : (preprint) , 1980 .

[11]  J. V. Tucker,et al.  On the adequacy of finite equational methods for data type specification , 1979, SIGP.

[12]  Mitchell Wand,et al.  Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..

[13]  Manfred Broy,et al.  Existential Quantifiers in Abstract Data Types , 1979, ICALP.

[14]  J. V. Tucker,et al.  A natural data type with a finite equational final semantics specifcation, but no effective equational initial specification , 1979 .

[15]  E. Wagner,et al.  Data type specification: Parameterization and the power of specification techniques , 1978, STOC.

[16]  Ugo Montanari,et al.  Observability Concepts in Abstract Data Type Specifications , 1976, MFCS.

[17]  B. H. Liskov,et al.  Specification techniques for data abstractions , 1975, IEEE Transactions on Software Engineering.

[18]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[19]  A. van Wijngaarden,et al.  Numerical analysis as an independent science , 1966 .

[20]  A. I. Mal'tsev.  CONSTRUCTIVE ALGEBRAS I , 1961 .

[21]  M. Rabin.  Computable algebra, general theory and theory of computable fields. , 1960 .