Toba: java for applications a way ahead of time (WAT) compiler
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
| Hi-index | 0.00 |
Oberon-2 is a general-purpose programming language in the tradition of Pascal and Modula-2. Itsmost important features are block structure, modularity, separate compilation, static typing withstrong type checking (also across module boundaries), and type extension with type-boundprocedures. Type extension makes Oberon-2 an object-oriented language. An object is a variable ofan abstract data type consisting of private data (its state) and procedures that operate on this data. Abstract data types are declared as extensible records. Oberon-2 covers most terms ofobject-oriented languages by the established vocabulary of imperative languages in order tominimize the number of notions for similar concepts. This report is not intended as a programmer''stutorial. It is intentionally kept concise. Its function is to serve as a reference for programmers,implementors, and manual writers. What remains unsaid is mostly left so intentionally, eitherbecause it can be derived from stated rules of the language, or because it would require to committhe definition when a general commitment appears as unwise. Appendix A defines some terms thatare used to express the type checking rules of Oberon-2. Where they appear in the text, they are written in italics to indicate their special meaning (e.g. the same type). Structured Programming (1991) 12: 179-195