Emerald: A general‐purpose programming language
- 1 January 1991
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 21 (1) , 91-118
- https://doi.org/10.1002/spe.4380210107
Abstract
Emerald is a general‐purpose language with aspects of traditional object‐oriented languages, such as Smalltalk, and abstract data type languages, such as Modula‐2 and Ada. It is strongly typed with a non‐traditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the flexibility of polymorphism and subtyping with compile‐time checking. This paper describes the Emerald language and its programming methodology. We give examples that demonstrate Emerald's features, and compare and contrast the Emerald approach to programming with the approaches used in other similar languages.Keywords
This publication has 22 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A Compositional Model for Software ReuseThe Computer Journal, 1989
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989
- Type theories and object-oriented programmimgACM Computing Surveys, 1988
- Fine-grained mobility in the Emerald systemACM Transactions on Computer Systems, 1988
- Object structure in the Emerald systemACM SIGPLAN Notices, 1986
- An introduction to Trellis/OwlACM SIGPLAN Notices, 1986
- Data types are valuesACM Transactions on Programming Languages and Systems, 1985
- Is block structure necessary?Software: Practice and Experience, 1981
- MonitorsCommunications of the ACM, 1974