POPL
2011
ACM
12 years 7 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
ACSW
2006
13 years 6 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...
IWPC
2003
IEEE
13 years 9 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
SAC
2004
ACM
13 years 10 months ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...