A Kernel Language for Algebraic Specification and Implementation

[1]  Rod M. Burstall,et al.  Structured Theories in LCF , 1983, CAAP.

[2]  Samuel N. Kamin.  Final Data Types and Their Specification , 1983, TOPL.

[3]  Hans-Dieter Ehrich,et al.  Algebraic Domain Equations , 1983, Theor. Comput. Sci..

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

[5]  Hartmut Ehrig,et al.  Parameter passing commutes with implementation of parameterized data types , 1982 .

[6]  Martin Wirsing,et al.  Implementation of Parameterised Specifications (Extended Abstract) , 1982, ICALP.

[7]  José Meseguer,et al.  Universal Realization, Persistent Interconnection and Implementation of Abstract Modules , 1982, ICALP.

[8]  Hartmut Ehrig,et al.  Algebraic Implementation of Abstract Data Types , 1982, Theor. Comput. Sci..

[9]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[10]  Friedrich L. Bauer,et al.  Programming in a Wide Spectrum Language: A Collection of Examples , 1981, Sci. Comput. Program..

[11]  Jan A. Bergstra,et al.  On the Power of Algebraic Specifications , 1981, MFCS.

[12]  J. A. Bergstra,et al.  I/O-computable data structures , 1981, SIGP.

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

[14]  E. Wagner,et al.  Parameterized Data Types in Algebraic Specification Languages (Short Version) , 1980, ICALP.

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

[16]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[17]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

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

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