Algebraic Implementations Preserve Program Correctness

[1]  Friedrich L. Bauer,et al.  The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L , 1985 .

[2]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[3]  Friedrich L. Bauer,et al.  Algorithmic Language and Program Development , 1982, Texts and Monographs in Computer Science.

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

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

[6]  Hartmut Ehrig,et al.  Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness , 1980, ICALP.

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

[8]  Manfred Broy,et al.  Programming languages as abstract data types , 1980, CLAAP.

[9]  George Gratzer,et al.  Universal Algebra , 1979 .

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

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

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

[13]  Joseph A. Goguen,et al.  Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[14]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

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

[16]  Zohar Manna,et al.  Introduction to mathematical theory of computation , 1972 .

[17]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .