128 search results - page 7 / 26 » Union types for object-oriented programming |
ECOOP
1997
Springer
13 years 11 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
OOPSLA
1989
Springer
13 years 11 months ago
1989
Springer
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
CSMR
2008
IEEE
13 years 9 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
ECOOP
2005
Springer
14 years 26 days ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...