130
click to vote
ECOOP
15 years 4 months ago
1995 Springer 
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
129
Voted
ECOOP
15 years 4 months ago
1995 Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...
122
click to vote
ECOOP
15 years 4 months ago
1995 Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
113
Voted
ECOOP
15 years 4 months ago
1995 Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
108
click to vote
ECOOP
15 years 4 months ago
1995 Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
|
Programming Languages