128 search results - page 5 / 26 » Union types for object-oriented programming |
119
click to vote
ICDT
1997
ACM
15 years 6 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 ...
120
click to vote
APL
2000
ACM
15 years 6 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
109
click to vote
ECOOP
1987
Springer
15 years 5 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
118
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
113
click to vote
PPDP
2005
Springer
15 years 7 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...