2596 search results - page 87 / 520 » Gradual Typing for Objects |
120
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
133
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
104
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
151
click to vote
IDEAS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
107
Voted
DBPL
1995
Springer
15 years 7 months ago
1995
Springer
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plu...