38 search results - page 2 / 8 » Object-oriented encapsulation for dynamically typed language... |
ICDT
1997
ACM
13 years 10 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
ECOOP
1998
Springer
13 years 10 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...
LISP
2008
13 years 6 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...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
fects 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 and eff...