624 search results - page 1 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
ECOOP
1998
Springer
13 years 9 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
LISP
2008
13 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
VLDB
1991
ACM
13 years 8 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...