Data Type Specification: Parameterization and the Power of Specification Techniques

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Data Type Specification: Parameterization and the Power of Specification Techniques

Full text

Pdf (1.31 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 4 (October 1982) table of contents

Pages: 711 - 732

Year of Publication: 1982

ISSN:0164-0925

Authors

J. W. Thatcher	Mathematical Sciences Department, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY
E. G. Wagner	Mathematical Sciences Department, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY
J. B. Wright	Mathematical Sciences Department, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 30, Citation Count: 12

Additional Information:

references cited by index terms collaborative colleagues

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/69622.357192 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	BURSTALL, R.M., ANO GOaUEN, J.A. Putting theories together to make specifications. In Proceedings, 1977 International Joint Conference on Artificial Intelligence, Massachusetts Institute of Technology, Cambridge, Ma., Aug. 1977, pp. 1045-1058.
	2	EHRIG, H., AND KREOWSKI, H.-J. Some remarks concerning correct specification and implementation of abstract data types. Rep. 77-13, Technical University of Berlin, Berlin, Aug. 1977.
	3	Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz, Stepwise Specification and Implementation of Abstract Data Types, Proceedings of the Fifth Colloquium on Automata, Languages and Programming, p.205-226, July 17-21, 1978
	4	Seymour Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, Inc., New York, NY, 1966
	5	GOGUEN, J.A. Abstract errors for abstract data types. In Formal Description of Programming Concepts, E.J. Neuhold (Ed.). Elsevier North-Holland, New York, 1978, pp. 491-522.
	6	GOCUEN, J.A., ANO TARDO, J. OBJ-0 preliminary users manual. In Proceedings, Specification of Reliable Software (Cambridge, Mass., May 1979). IEEE Computer Society, 1979, pp. 170-189.
	7	GOGUEN, J.A., THATCHER, J.W., ANO WAGNER, E.G. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In Current Trends in Programruing Methodology, vol. 4: Data Structuring, R.T. Yeh (Ed.). Prentice-Hall, Englewood Cliffs, N.J., 1978, pp. 80-149.
	8	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]
	9	John Guttag, Abstract data types and the development of data structures, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.72, March 22-24, 1976, Salt Lake City, Utah, United States
	10	GUTTAG, J.V. The Specification and Application to Programming of Abstract Data Types. Tech. Rep. CSRG-59, Computer Systems Research Group, Univ. of Toronto, Toronto, Sept. 1975.
	11	John V. Guttag , Ellis Horowitz , David R. Musser, Abstract data types and software validation, Communications of the ACM, v.21 n.12, p.1048-1064, Dec. 1978 [doi>10.1145/359657.359666]
	12	GUTTAG, J.V., HOROWITZ, E., AND MUSSER, D.R. The design of data type specifications. In Current Trends in Programming Methodology, vol. 4: Data Structuring, R.T. Yeh (Ed.). Prentice-Hall, Englewood Cliffs, N.J., 1978, pp. 60-79.
	13	HILrI~OER, P.N. Correspondence from the members. SIGPLAN Notices (ACM) 13, i (Jan. 1978), 11-12.
	14	D. J. Lehmann , M. B. Smyth, Data Types, University of Warwick, Coventry, UK, 1977
	15	LIsxov, B.H., A~D BERZI~S, V. An appraisal of program specification. In Research Directions in Software Technology, P. Wegner (Ed.). MIT Press, Cambridge, Mass., 1979, pp. 276-301.
	16	Fernando Orejas, On the power of conditional specifications, ACM SIGPLAN Notices, v.14 n.7, p.78-81, July 1979 [doi>10.1145/954245.954252]
	17	MACLANE, S. Category Theory for the Working Mathematician. Springer-Verlag, New York, 1971.
	18	MAJSTER, M.E. Data types, abstract data types and their specification problem. Theor. Comput. Sci. 8, i (1979), 89-127.
	19	MAJSTER, M.E. Correspondence from the members. SIGPLAN Notices (ACM) 13, 1 (Jan. 1978), 8-10.
	20	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]
	21	James H. Morris, Jr., Types are not sets, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.120-124, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512938]
	22	TARSKI, A. Equational logic and equational theories of algebras. In Contributions to Mathematical Logic, K. Schfitte (Ed.). Elsevier North-Holland, New York, 1968, pp. 275-288.
	23	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]
	24	THATCHER, J.W., WAGNER, E.G., AND WmGHT, J.B. Specification of abstract data types using conditional axioms. IBM Research Rep. RC-6214, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y., Sept. 1976.
	25	Paulo A. S. Veloso, Traversable stack with fewer errors, ACM SIGPLAN Notices, v.14 n.2, p.55-59, February 1979 [doi>10.1145/954063.954070]
	26	ZILLES, S.N. An introduction to data algebras. Working draft, IBM San Jose Research Laboratory, San Jose, Calif., Sept. 1975.

CITED BY 12

	Eric G. Wagner, Algebraic specifications: some old history and new thoughts, Nordic Journal of Computing, v.9 n.4, p.373-404, Winter 2002
	Catriel Beeri , Tova Milo, Functional and predictive programming in OODB's, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.176-190, June 02-05, 1992, San Diego, California, United States
	Catriel Beeri , Tova Milo, On the power of algebras with recursion, ACM SIGMOD Record, v.22 n.2, p.377-387, June 1, 1993
	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
	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
	Egidio Astesiano , Michel Bidoit , Hélène Kirchner , Bernd Krieg-Brückner , Peter D. Mosses , Donald Sannella , Andrzej Tarlecki, CASL: the common algebraic specification language, Theoretical Computer Science, v.286 n.2, p.153-196, 17 September 2002
	Robert I. Winner , Edward M. Carter, Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Felix Cornelius , Michael Baldamus , Hartmut Ehrig , Fernando Orejas, Abstract and behaviour module specifications, Mathematical Structures in Computer Science, v.9 n.1, p.21-62, February 1999
	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
	Paulo A. S. Veloso , José Mauro Volkmer de Castilho , Antonio L. Furtado, Systematic derivation of complementary specifications, Proceedings of the seventh international conference on Very Large Data Bases, p.409-421, September 09-11, 1981, Cannes, France
	Johannes Henkel , Amer Diwan, A Tool for Writing and Debugging Algebraic Specifications, Proceedings of the 26th International Conference on Software Engineering, p.449-458, May 23-28, 2004
	Johannes Henkel , Christoph Reichenbach , Amer Diwan, Developing and debugging algebraic specifications for Java classes, ACM Transactions on Software Engineering and Methodology (TOSEM), v.17 n.3, p.1-37, June 2008