Formal Specification of Graphic Data Types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal Specification of Graphic Data Types

Full text

Pdf (1.30 MB)

Source

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

Pages: 687 - 710

Year of Publication: 1982

ISSN:0164-0925

Author

William R. Mallgren

Systems Development Department, Xerox Corporation, 3450 Hillview Avenue, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 29, Citation Count: 6

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.357191 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	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 Yeh, R.T. (Ed.), Current Trends in Programming Methodology, vol. 4: Data Structuring. Prentice-Hall, Englewood Cliffs, N.J., 1978.
	2	GUTrAG, J.V. The specification and application to programming of abstract data types. Tech. Rep. CSRG-59, Computer Systems Research Group, Univ. of Toronto, Toronto, Canada, Sept. 1975.
	3	John Guttag , J. J. Horning, Formal specification as a design tool, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.251-261, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567471]
	4	GU~rAG, J.V., AND HORNING, J.J. The algebraic specification of abstract data types. Acta Inf. 10, 1 (1978), 27-52.
	5	HOARE, C.A.R., AND WIRTH, N. An axiomatic definition of the programming language Pascal. Acta Inf. 2, 4 (1973), 335-355.
	6	KJELDAAS, T.S. Class draughting. Publication S.39, Norwegian Computing Center, Oslo, Norway, June 1972.
	7	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	8	LISKOV, B., AND ZILLES, S. Specifiction techniques for data abstractions. IEEE Trans. Sofiw. Eng. SE-1, 1 (Mar. 1975), 7-19.
	9	William Roberts Mallgren, Formal specification of interactive graphics programming languages, 1981
	10	MALLGREN, W.R., AND SHAW, A.C. Graphical transformations and hierarchic picture structures. Comput. Gr. Image Process. 8, 2 (Oct. 1978), 237-258.
	11	William M. Newman , Robert F. Sproull, Principles of interactive computer graphics (2nd ed.), McGraw-Hill, Inc., New York, NY, 1979
	12	ROSENFELD, A. Picture Processing by Computer. Academic Press, New York, 1969.
	13	SHAW, A.C. A model for document preparation systems. Tech. Rep. 80-04-02, Dep. of Computer Science, Univ. of Washington, Seattle, Wash., Apr. 1980.
	14	THALMANN, D., AND THALMANN, N. Design and implementation of abstract graphical data types. In Proceedings of the Third IEEE Computer Software and Applications Conference, Chicago, Ill., Nov. 6-8, 1979, pp. 519-524.
	15	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]
	16	Ben Wegbreit , Jay M. Spitzen, Proving Properties of Complex Data Structures, Journal of the ACM (JACM), v.23 n.2, p.389-396, April 1976 [doi>10.1145/321941.321957]

CITED BY 6

	Jean-François Dufourd, An OBJ3 functional specification for boundary representation, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, p.61-72, June 05-07, 1991, Austin, Texas, United States
	Mary Shaw , Ellen Borison , Michael Horowitz , Tom Lane , David Nichols , Randy Pausch, Descartes: A programming-language approach to interactive display interfaces, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.100-111, June 27-29, 1983, San Francisco, California, United States
	M. Shaw, An input-output model of interactive systems, ACM SIGCHI Bulletin, v.17 n.4, p.261-273, April 1986
	D. A. Duce , E. V. C. Fielding , L. S. Marshall, Formal specification of a small example based on GKS, ACM Transactions on Graphics (TOG), v.7 n.3, p.180-197, July 1988
	John T. Stasko, Tango: A Framework and System for Algorithm Animation, Computer, v.23 n.9, p.27-39, September 1990
	Frank Manola , Jack A. Orenstein, Toward a General Spatial Data Model for an Object-Oriented DBMS, Proceedings of the 12th International Conference on Very Large Data Bases, p.328-335, August 25-28, 1986