4099 search results - page 4 / 820 » First Class Patterns |
POS
1998
Springer
13 years 10 months ago
1998
Springer
The design and implementation of the initial release of class evolution technology for PJama persistent language is described. This technology supports modi cations to individual ...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
LICS
2000
IEEE
13 years 10 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
ACL
1992
13 years 7 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
ECOOP
2005
Springer
13 years 11 months 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 ...