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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (1.12 MB)

Source

Journal of the ACM (JACM) archive
Volume 29 , Issue 1 (January 1982) table of contents

Pages: 206 - 227

Year of Publication: 1982

ISSN:0004-5411

Author

H.-D. Ehrich

Abteilung Informatik, Universitat Dortmund, Postfach 500500, 4600 Dortmund 50, West Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 41, Citation Count: 8

Additional Information:

references cited by index terms peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322290.322303 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ARBIB, M A, AND MANES, E G Arrows, Structures, and Functors Academic Press, New York, 1975.
	2	BERGSTRA, J What ~s an abstract data type9 "lFech Rep No 77-12, Institute of Apphed Mathematics and Computer Science, Umv of Le~den, The Netherlands, 1977
	3	BURSTALL, R M, AND GOGUEN, J A Putting theories together to make specifications Proc 5th Int Joint Conf. on Aruficlal Intelhgence, Cambridge, Mass., 1977, pp. 1045-1058.
	4	EHRICH, H-D.Extensions and implementations of abstract data type specifications. In Proc. 7th Symp on the Mathematical Fotmdauons of Computer Science, Lecture Notes in Computer Science 64, J. Wmkowskl, Ed, Sprmger-Vedag, Berhn, 1978, pp. 155-164
	5	EHRICH, H-D, AND LOrtSERGER, V G Parametric speclficauon of abstract data types, parameter subsututlon, and graph replacements. In Graphs, Data Structures, Algorithms, Apphed Computer Science, Carl Hanser Verlag, Munich, Vienna, 1979, pp 16%182
	6	EHRIG, H, KREOWSKI, H -J, AND PADAWiTZ, P Some remarks concerning correct specification and tmpiemematlon of abstract data types Bet Nr 77-13, Institute fur Software uvM Theoretlsche lnformattk, Techmsche Umv Berlin, FB 20, 1977
	7	EHRIG, H, KREOWSKI, H-J, AND PADAWITZ, P Stepwlse specification and implementation of abstract data types Internal Rep, Inst tute fur Software und Theoretlsche informat~k, Technische Unw Berlin, FB 20, 1977
	8	GIARRATANA, V, GIMONA, F., AND MONTANARI, U Observablhty concepts in abstract data type specification In Proc. 5th Symp on the Mathematical Foundatmns of Computer Science, Lecture Notes in Computer Science 45, A Mazurkiewmz, Ed, Sprmger-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, Berhn, 1976, pp 576-587
	10	GOGUEN, JA Abstract errors for abstract data types In Proc Cord. on Formal Description of Programming Concepts, E.J. Neuhold, Ed., North-Holland, Amsterdam, 1978, pp. ,I91-525.
	11	GOGUEN, J A, THATCHER, J W, AND WAGNER, E G An initial algebra approach to the spectficauon, correctness, and lmplementmmn of abstract data types In Current Trends in Programming Methodology IV Data Structuring, R Yeh, Ed., Prenuce Hall, Englewood Chffs, 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	J. A. Goguen , J. W. Thatcher , E. G. Wagner , J. B. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of the ACM (JACM), v.24 n.1, p.68-95, Jan. 1977 [doi>10.1145/321992.321997]
	14	GUTTAG, J V The speclficauon and apphcatxon to programming of abstract data types. Tech Rep CSRG-59, Umv of Toronto, Toronto, Ontano, Canada, 1975
	15	D. J. Lehmann , M. B. Smyth, Data Types, University of Warwick, Coventry, UK, 1977
	16	LIsKov, B H, AND ZiLLES, S.N Speclficatmn techmques for data abstractmns IEEE Trans. Softw Eng SE-1 (1975), 7-19
	17	MAJSIER, M E Data types, abstract data types and their spec,ficat,on problem Tech. Rep TUM- INFO-7740, Techmsche Onw Munchen, 1977
	18	Limits of the "algebraic" specification of abstract data types, ACM SIGPLAN Notices, v.12 n.10, p.37-42, October 1977 [doi>10.1145/954627.954630]
	19	MANES, E G Algebraic Theories Sprmger-Verlag, New York, 1976
	20	MAYOH, 8 H Data types as functions Tech Rep DAtM1 PB-89, Computer Scmnce 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 lnf 6 (1976), 297-316
	23	SCHUBERT, H Kategonen Sprmger-Verlag, Berlin, 1970
	24	ScoTT, D S Data types as latUces SIAM j Comput 5 (1976), 522-587
	25	James W. Thatcher , Eric G. Wagner , Jesse B. Wright, Data type specification: Parameterization and the power of specification techniques, Proceedings of the tenth annual ACM symposium on Theory of computing, p.119-132, May 01-03, 1978, San Diego, California, United States [doi>10.1145/800133.804340]
	26	WAND, M F~rst-order ldentmes as a defining language Tech Rep No 29, Computer Science Dep., Indmna Unw, B\|oommgton, lnd, 1976
	27	WAND, M Final algebra semantics and data type extensmns Tech Rep No 65, Computer Science Dep, Indiana Unlv, Bloomington, lnd, 1977
	28	ZILLES, S N Algebraic specification of data types M I T ProJect MAC, Computation Structures Group Memo 119, M I T, Cambridge, Mass 1975, pp t-12

CITED BY 8

	Huimin Lin, Procedural implementation of algebraic specification, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.5, p.876-895, Nov. 1993
	Harald Ganzinger, Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.318-354, July 1983
	Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States
	Donald Sannella , Andrzej Tarlecki, Program specification and development in standard ML, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.67-77, January 14-16, 1985, New Orleans, Louisiana, United States
	Ataru T. Nakagawa , Kokichi Futatsugi, Stepwise refinement process with modularity, Proceedings of the 11th international conference on Software engineering, p.166-177, May 1989, Pittsburgh, Pennsylvania, United States
	J. A. Bergstra , J. Heering , P. Klint, Module algebra, Journal of the ACM (JACM), v.37 n.2, p.335-372, April 1990
	Jacques Loeckx, Algorithmic specifications: a constructive specification method for abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.646-661, Oct. 1987
	Joseph A. Goguen , Rod M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM (JACM), v.39 n.1, p.95-146, Jan. 1992