Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
The C++ programming language
Simula Begin
The role of opaque types to build abstractions
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Mapping the Interface Description Language Type Model into C
IEEE Transactions on Software Engineering
Type-extension type test can be performed in constant time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented programming through type extension in Ada 9X
ACM SIGAda Ada Letters
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
The rewards of generating true 32-bit code
ACM SIGPLAN Notices
Object CHILL—an object oriented language for systems implementation
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
On the type extensions of Oberon-2
ACM SIGPLAN Notices
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
ACM SIGPLAN Notices
Type extension through polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Consummating virtuality to support more polymorphism in C++
ACM SIGPLAN Notices
Efficient type inclusion tests
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Time and space efficient method-lookup for object-oriented programs
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Communications of the ACM
Orthogonal type extensions and reductions
ACM SIGPLAN Notices
On labeling schemes for the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
SLS: A numbering scheme for large XML documents
Programming and Computing Software
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Dynamic type checking in jalapeño
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Prefix based numbering schemes for XML: techniques, applications and performances
Proceedings of the VLDB Endowment
Types and modularity for implicit invocation with implicit announcement
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adapting prime number labeling scheme for directed acyclic graphs
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
BBTC: a new update-supporting coding scheme for XML documents
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Using ownership to reason about inherent parallelism in object-oriented programs
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
Open and efficient type switch for C++
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.02 |
Software systems represent a hierarchy of modules. Client modules contain sets of procedures that extend the capabilities of imported modules. This concept of extension is here applied to data types. Extended types are related to their ancestor in terms of a hierarchy. Variables of an extended type are compatible with variables of the ancestor type. This scheme is expressed by three language constructs only: the declaration of extended record types, the type test, and the type guard. The facility of extended types, which closely resembles the class concept, is defined in rigorous and concise terms, and an efficient implementation is presented.