×
Wand, Mitchell

Final algebra semantics and data type extensions. (English) Zbl 0418.68020

J. Comput. Syst. Sci. 19, 27-44 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0418.68020

Cited in 40 Documents

MSC:

68P05 Data structures
68Q60 Specification and verification (program logics, model checking, etc.)
68Q55 Semantics in the theory of computing

Keywords:

final algebra semantics; data type extensions; initial algebra semantics
Cite Review PDF
Full Text: DOI

References:

[1] Benabou, J., Structures algébriques dans les categories, Cahiers Topologie Géom, Différentielle, 10, No.1, 1-126 (1968) · Zbl 0162.32602
[2] Birkhoff, G.; Lipson, D., Heterogeneous algebras, J. Combinatorial Theory, 8, 115-133 (1970) · Zbl 0211.02003
[3] Burstall, R. M.; Darlington, J., A transformation system for developing recursive programs, J. Assoc. Comput. Mach., 24, 44-67 (1977) · Zbl 0343.68014
[4] Chirica, L. M.; Martin, D. F., An algebraic formulation of Knuthian semantics, (Proc. 17th IEEE Symp. on Foundations of Computing (1976)), 127-136
[5] Elgot, C. C., Monadic computation and iterative algebraic theories, (Rose, H. E.; Shepherdson, J. C., Proceedings of the Logic Colloquium. Proceedings of the Logic Colloquium, Bristol, 1973 (1975), North-Holland: North-Holland Amsterdam), 175-230 · Zbl 0327.02040
[6] Giarratana, V.; Gimona, F.; Montanari, U., Observability Concepts in Abstract Data Type Specifications, (Mazurkiewicz, A., Mathematical Foundations of Computer Science 1976. Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science (1976), Springer-Verlag: Springer-Verlag Berlin/New York), 576-587, No. 45 · Zbl 0338.68023
[7] Goguen, J. A., Realization is universal, Math. Systems Theory, 6, 359-374 (1972) · Zbl 0248.18015
[8] Goguen, J. A., On homomorphisms, correctness, termination, unfoldments, and equivalence of flow-diagram programs, J. Comput. System Sci., 8, 333-365 (1974) · Zbl 0285.68010
[9] Goguen, J. A., Correctness and equivalence of data types, (Marchesihi, G.; Mitter, S. K., Mathematical Systems Theory. Mathematical Systems Theory, Udine, 1975. Mathematical Systems Theory. Mathematical Systems Theory, Udine, 1975, Lecture Notes in Economics and Mathematical Systems, No. 131 (1976), Springer-Verlag: Springer-Verlag Berlin/New York), 352-358 · Zbl 0387.68013
[10] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G., An initial algebra approach to the specification, correctness, and implementation of abstract data types, (Yeh, R., Current Trends in Programming Methodology, IV, Data Structuring (1978), Prentice-Hall: Prentice-Hall Englewood Cliffs, N. J), 80-149
[11] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., A Junction between Computer Science and Category Theory: I, Basic Definitions and Examples, IBM Research Report RC 5908 (1976) · Zbl 0333.93002
[12] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., An Introduction to Categories, Algebraic Theories, and Algebras, IBM Research Report RC 5369 (April 1975)
[13] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Abstract data types as initial algebras and correctness of data representations, (Proc. ACM Conf. on Computer Graphics, Pattern Recognition, and Data Structures (May 1975)), 89-93
[14] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Initial algebra semantics and continuous algebras, J. Assoc. Comput. Mach., 24, 68-95 (1977) · Zbl 0359.68018
[15] Grxtzer, G., Universal Algebra (1968), Van Nostrand: Van Nostrand Princeton, N. J · Zbl 0182.34201
[16] Guttag, J. V., The Spcification and Application to Programming of Abstract Data Types, (Computer System Research Report CSRG-59 (1975), University of Toronto, Department of Computer Science) · Zbl 0395.68020
[17] Guttag, J. V.; Horowitz, E.; Musser, D. R., Abstract data types and software validation, Comm. ACM, 21, 1048-1064 (1978) · Zbl 0387.68012
[18] Hoare, C. A.R., Proving correctness of data representations, Acta Informatica, 1, 271-281 (1972) · Zbl 0244.68009
[19] Knuth, D. E., Semantics of context-free languages, Math. Systems Theory, 5, 95-96 (1971), correction · Zbl 0219.68035
[20] Lawvere, F. W., Functorial semantics of algebraic theories, (Proc. Nat. Acad. Sci. U.S.A., 50 (1963)), 869-872 · Zbl 0119.25901
[21] Robinson, L.; Levitt, K. N., Proof techniques for hierarchically stuctured programs, Comm. ACM, 20, No 4, 271-283 (April 1977) · Zbl 0358.68030
[22] Rosen, B. K., Tree manipulating systems and Church-Rosser Theorems, J. ACM, 20, 160-187 (1973) · Zbl 0267.68013
[23] M. WandJ. ACM; M. WandJ. ACM · Zbl 0429.68028
[24] Wright, J. B.; Thatcher, J. W.; Wagner, E. G.; Goguen, J. A., Rational algebraic theories and fixed point solutions, (Proc. 17th IEEE Symp. on Foundations of Computing (1976)), 147-158
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.