On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

Journal of the ACM (JACM)

Volumn 29, Issue 1, 1982, Pages 206-227

  Ehrich, H D ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

abstract implementation; algebraic speclficauon; algebras; category theory; data types; equational specification; implementation; parametnzed specification; parametrization

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0019912438     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/322290.322303     Document Type: Article

References (28)

1. Akdib, M. A., and Manes, E. G. Arrows, Structures, and Functors Academic Press, New York, 1975
2. Bergstra, J. What is an abstract data type9 Tech Rep No 77-12, Institute of Applied Mathematics and Computer Science, Univ of Leiden, The Netherlands, 1977
3. Burstall, R. M., and Goguen, J. A. Putting theories together to make specifications Proc 5th Int Joint Conf. on Artificial Intelligence, Cambridge, Mass., 1977, pp. 1045-1058
4. Ehricii, H. -D. Extensions and implementations of abstract data type specifications. In Proc. 7th Symp on the Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 64, J. Winkowski, Ed, Sprmger-Verlag, Berlin, 1978, pp. 155-164
5. Ehrich, H. -D., and Lohberger, V. G. Parametric specification of abstract data types, parameter substitution, and graph replacements. In Graphs, Data Structures, Algorithms, Applied Computer Science, Carl Hanser Verlag, Munich, Vienna, 1979, pp 169-182
6. Ehrio, H., Kreowski, H. -J., and Padawitz, P. Some remarks concerning correct specification and implementation of abstract data types Ber Nr 77-13, Institute fur Software und Theoretische Informatik, Technische Umv Berlin, FB 20, 1977
7. Ehrig, G., Kreowski, H. -J., and Padawitz, P. Stepwise specification and implementation of abstract data types Internal Rep, Institute fur Software und Theoretische Informatik, Technische Umv Berlin, FB 20, 1977
8. Giarratana, V., Gimona, F., and Montanari, U. Observability concepts in abstract data type specification In Proc. 5th Symp on the Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 45, A Mazurkiewicz, Ed, Springer-Verlag, Berlin, 1976, pp 576-587
9. Goguen, J. A. Correctness and equivalence of data types In Proc 1975 Conf on Mathematics and Systems Theory, Lecture Notes in Economics and Mathematical Systems 131, G Marchesin, Ed., Sprmger-Verlag, Berlin, 1976, pp 576-587
10. Goguen, J. A. Abstract errors for abstract data types In Proc Conf. on Formal Description of Programming Concepts, E.J. Neuhold, Ed., North-Holland, Amsterdam, 1978, pp. 491-525
11. Goguen, J. A., Thatcher, J. W., and Wagner, E. G. An initial algebra approach to the specification, correctness, and implementation of abstract data types In Current Trends in Programming Methodology IV Data Structuring, R Yeh, Ed., Prentice Hall, Englewood Cliffs, N J, 1978, pp 80-149
12. Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B. An introduction to categories, algebraic theories and algebras. Tech Rep. RC 5369, IBM Thomas J Watson Lab, Yorktown Heights, N Y 1975
13. Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B. Initial algebra semantics and continuous algebras J ACM 24, 1 (Jan 1977), 68-95
14. Guttag, J. V. The specification and application to programming of abstract data types. Tech Rep CSRG-59, Univ of Toronto, Toronto, Ontario, Canada, 1975
15. Lehmann, D. J., and Smyth, M. B. Data types Theory of computation Tech Rep. No. 19, Univ. of Warwick, Coventry, England, 1977
16. Liskov, B.H., and Zilles, S.N. Specification techniques for data abstractions IEEE Trans. Softw Eng SE-1 (1975), 7-19
17. Majster, M.E. Data types, abstract data types and their specification problem Tech. Rep TUM- INFO-7740, Technische Univ Munchen, 1977
18. Majster, M.E. Limits of the algebraic specification of data types SIGPLAN Notices 12 (1977), 37-42
19. Manes E. G. Algebraic Theories Springer-Verlag, New York, 1976
20. Mayoh, B. H. Data types as functions Tech Rep DAIMI PB-89, Computer Science Dep, Aarhus Univ., Aarhus, Denmark, 1978
21. Rosen, B. K. Deriving graphs from graphs by applying a production Acta Inf. 4 (1975), 337-357
22. Schneider, H. -J., and Eiirig, H. Grammars on partial graphs Acta Inf 6 (1976), 297-316
23. Schubert, H. Kategorien Springer-Verlag, Berlin, 1970
24. Scoit, D. S. Data types as lattices SIAM J Comput 5 (1976), 522-587
25. Thatchkk, J. W., Wagner, E. G., and Wright, J. B. Data type specification, parameterization and the power of specification techniques Proc SIGACT lOth Ann Symp on Theory of Computing, San Diego. Calif, May 1978, pp 119-132
26. Wand, M. First-order identities as a defining language Tech Rep No 29, Computer Science Dep., Indiana Univ, BVoommgton, Ind, 1976
27. Wand, M Final algebra semantics and data type extensions Tech Rep No 65, Computer Science Dep, Indiana Univ, Bloomington, Ind, 1977
28. Zilles, S. N. Algebraic specification of data types MIT Project MAC, Computation Structures Group Memo 119, M I T, Cambndge, Mass 1975, pp 1-12