ACM Transactions on Programming Languages and Systems (TOPLAS)
Software—Practice & Experience
Software—Practice & Experience
The Oberon system: user guide and programmer's manual
The Oberon system: user guide and programmer's manual
Type-extension type test can be performed in constant time
ACM Transactions on Programming Languages and Systems (TOPLAS)
A systematic approach to multiple inheritance implementation
ACM SIGPLAN Notices
On the type extensions of Oberon-2
ACM SIGPLAN Notices
Object-Oriented Software Construction
Object-Oriented Software Construction
Run-time design for object-oriented extensions to Pascal
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Hi-index | 0.00 |
Type extension is a language facility proposed by N. Wirth and included in the programming language Oberon. The facility allows a type to be created based on another type while maintaining a hierarchic type relationship. This paper gives an introduction to the type extension facility as it is implemented in Oberon and shows how it can be generalised to allow a non-linear type hierarchy to be constructed and discriminated.