Programming Languages: GPL, a truly general purpose language
Communications of the ACM
The ML approach to the readable all-purpose language
ACM Transactions on Programming Languages and Systems (TOPLAS)
An open-ended data representation model for EU_LISP
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
An object-oriented approach to database system implementation
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Proof techniques for hierarchically structured programs
Communications of the ACM
Some ideas on data types in high-level languages
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
Sharing code among instances of Ada generics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A programming language theorem which is independent of Peano Arithmetic
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
A new REDUCE model for algebraic simplification
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The definition and use of data structures in REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The design of a template structure for a generalized data structure definition facility
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Restricted data types, specification and enforcement of invariant properties of variables
Proceedings of an ACM conference on Language design for reliable software
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
A language for computational algebra
ACM SIGPLAN Notices
Implementation implications of Ada generics
ACM SIGAda Ada Letters
Hierarchies and relations among data types
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A mode analyzing algebraic manipulation program
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
Generic procedures: An implementation and an undecidability result
Computer Languages
| Hi-index | 48.30 |
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.