92 search results - page 6 / 19 » A Logic for Encapsulation in Object-Oriented Languages |
ICDT
1997
ACM
15 years 4 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 ...
110
Voted
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
105
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
LISP
2008
15 years 11 days 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...
96
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...