The treatment of data types in EL1

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The treatment of data types in EL1

Full text

Pdf (1.44 MB)

Source

Communications of the ACM archive
Volume 17 , Issue 5 (May 1974) table of contents

Pages: 251 - 264

Year of Publication: 1974

ISSN:0001-0782

Author

Ben Wegbreit

Harvard Univ., Xerox Palo Alto Research Center, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 26, Citation Count: 33

Additional Information:

abstract 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/360980.360992 What is a DOI?

ABSTRACT

In constructing a general purpose programming language, a key issue is providing a sufficient set of data types and associated operations in a manner that permits both natural problem-oriented notation and efficient implementation. The EL1 language contains a number of features specifically designed to simultaneously satisfy both requirements. The resulting treatment of data types includes provision for programmer-defined data types and generaic routines, programmer control over type conversion, and very flexible data type behavior, in a context that allows efficient compiled code and compact data representation.

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	PL/I Language Reference Manual. Form C28-8201-2. IBM Syst. Ref. Lib. (1969).
	2	Abrahams P.S. et al. The LISP2 programming language and system. Proc. AFIPS 1966 FJCC, Vol. 29, AFIPS Press, Montvale, N.J., pp. 661-676.
	3	Van Wijngaargen, A.V., et al. Report on the algorithmic language ALGOL 68. Numerische Mathernatik 14 (1969), 79-218.
	4	Jan V. Garwick, Programming Languages: GPL, a truly general purpose language, Communications of the ACM, v.11 n.9, p.634-638, Sept. 1968 [doi>10.1145/364063.364092]
	5	Hoare, C.A.R. Record handling. In Programming Laoguages. F. Genuys (Ed.) Academic Press, New York, 1968, pp. 291-347.
	6	Standish, T.A. A data definition facility for programming languages. Doc. diss., Comput. Sci. Dep., Carnegie Institute of Technology, Pittsburgh, Pa., 1967.
	7	Wegbreit, B., et al. The ECL programmer's manual, Technical Report 21-72, Center for Res. in Comput. Tech., Harvard U., Cambridge, Mass., 1972.
	8	Wegbreit, B. The ECL programming system, Proc. AFIPS 1971 FJCC, Vol. 39, AFIPS Press, Montvale, N.J., pp. 253-262.
	9	Reynolds, J.C. A set-theoretic approach to the concept of type. Working material for NATO Conf. on Techniques in Software Engineering, Rome, Italy, Oct. 1969.
	10	Dijkstra, E.W. Notes on structured programming. T.H. Report 70:WSK-03, Technological U. Eindhoven, The Netherlands, Apr. 1970.

CITED BY 33

	C. M. Geschke , J. G. Mitchell, On the problem of uniform references to data structures, ACM SIGPLAN Notices, v.10 n.6, p.31-42, June 1975
	Martin L. Griss, The definition and use of data structures in REDUCE, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.53-59, August 10-12, 1976, Yorktown Heights, New York, United States
	Anthony C. Hearn, A new REDUCE model for algebraic simplification, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.46-52, August 10-12, 1976, Yorktown Heights, New York, United States
	A. James Baroody, Jr. , David J. DeWitt, An object-oriented approach to database system implementation, ACM Transactions on Database Systems (TODS), v.6 n.4, p.576-601, Dec. 1981
	Billy G. Claybrook, A facility for defining and manipulating generalized data structures, ACM Transactions on Database Systems (TODS), v.2 n.4, p.370-406, Dec. 1977
	Guy L. Steele, Jr., Multiprocessing compactifying garbage collection, Communications of the ACM, v.18 n.9, p.495-508, Sept. 1975
	Billy G. Claybrook, The design of a template structure for a generalized data structure definition facility, Proceedings of the 2nd international conference on Software engineering, p.408-413, October 13-15, 1976, San Francisco, California, United States
	Gary Bray, Sharing code among instances of Ada generics, ACM SIGPLAN Notices, v.19 n.6, p.276-284, June 1984
	Jay M. Spitzen , Karl N. Levitt , Lawrence Robinson, An example of hierarchical design and proof, Communications of the ACM, v.21 n.12, p.1064-1075, Dec. 1978
	Theodore A. Linden, The use of abstract data types to simplify program modifications, ACM SIGMOD Record, v.8 n.2, p.12-23, March 1976
	Christian Queinnec , Pierre Cointe, An open-ended data representation model for EU_LISP, Proceedings of the 1988 ACM conference on LISP and functional programming, p.298-308, July 25-27, 1988, Snowbird, Utah, United States
	Charles M. Geschke , James H. Morris, Jr. , Edwin H. Satterthwaite, Early experience with Mesa, Communications of the ACM, v.20 n.8, p.540-553, Aug. 1977
	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
	Richard D. Jenks , Barry M. Trager, A language for computational algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.6-13, August 05-07, 1981, Snowbird, Utah, United States
	C. R. Spooner, The ML approach to the readable all-purpose language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.215-243, April 1986
	Michael O'Donnell, A programming language theorem which is independent of Peano Arithmetic, Proceedings of the eleventh annual ACM symposium on Theory of computing, p.176-188, April 30-May 02, 1979, Atlanta, Georgia, United States
	Ernest Chang , Neil E. Kaden , W. David Elliott, Abstract data types in Euclid, ACM SIGPLAN Notices, v.13 n.3, p.34-42, March 1978
	William D. Young , Donald I. Good, Generics and verification in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
	Anthony I. Wasserman, Issues in programming language design: an overview, ACM SIGPLAN Notices, v.10 n.7, July 1975
	David Gries , Narain Gehani, Some ideas on data types in high-level languages, Communications of the ACM, v.20 n.6, p.414-420, June 1977
	Lawrence Robinson , Karl N. Levitt, Proof techniques for hierarchically structured programs, Communications of the ACM, v.20 n.4, p.271-283, April 1977
	D. L. Parnas , John E. Shore , David Weiss, Abstract types defined as classes of variables, ACM SIGMOD Record, v.8 n.2, p.149-154, March 1976
	John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980
	Richard D. Jenks , Barry M. Trager, A language for computational algebra, ACM SIGPLAN Notices, v.16 n.11, November 1981
	Gary Bray, Implementation implications of Ada generics, ACM SIGAda Ada Letters, v.III n.2, p.62-71, September/October 1983
	Raymond T. Boute, Simplifying ADA by removing limitations, ACM SIGPLAN Notices, v.15 n.2, p.17-29, February 1980
	William D. Young , Donald I. Good, Generics and verification in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.123-127, January 1980
	Normand Buckle, Restricted data types, specification and enforcement of invariant properties of variables, ACM SIGPLAN Notices, v.12 n.3, p.68-76, March 1977
	Giorgio P. Ingargiola, Hierarchies and relations among data types, Proceedings of the 1974 annual ACM conference, January 01-01, 1974
	Anthony C. Hearn, A mode analyzing algebraic manipulation program, Proceedings of the 1974 annual ACM conference, January 01-01, 1974
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993
	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
	Anthony I. Wasserman, Issues in programming language design: an overview, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California