159 search results - page 1 / 32 » Type Equivalence Checking in Persistent Object Systems |
POS
1990
Springer
13 years 9 months ago
1990
Springer
POS
1994
Springer
13 years 9 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
WFLP
2009
Springer
13 years 11 months ago
2009
Springer
This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reduci...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
ICDE
1997
IEEE
14 years 6 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...