3311 search results - page 119 / 663 » Deductive Object Programming |
123
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
126
click to vote
DLS
2005
15 years 3 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
127
click to vote
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
114
click to vote
ECOOP
1987
Springer
15 years 5 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
108
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...