Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
The treatment of data types in EL1
Communications of the ACM
Benchmarking interactive systems: Producing the software
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The FORTH approach to operating systems
ACM '76 Proceedings of the 1976 annual conference
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Report on the programming language Euclid
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Hi-index | 0.00 |
The ideal computer language is seen as one that would be as readable as natural language, and so adaptable that it could serve as the only language a user need ever know. An approach to language design has emerged that shows promise of allowing one to come much closer to that ideal than might reasonably have been expected. Using this approach, a language referred to as ML has been developed, and has been implemented as a language-creation system in which user-defined procedures invoked at translation time translate the source to some object code. In this way the user can define both the syntax and the semantics of the source language. Both language and implementation are capable of further development. This paper describes the approach, the language, and the implementation and recommends areas for further work.