271
click to vote
ECOOP
14 years 5 months ago
2011 Springer 
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
169
click to vote
ECOOP
14 years 5 months ago
2011 Springer 
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
161
click to vote
ECOOP
14 years 5 months ago
2011 Springer 
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
183
click to vote
ECOOP
14 years 5 months ago
2011 Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
|
Programming Languages