ECOOP
1995
Springer
14 years 4 months ago
1995
Springer
ECOOP
1995
Springer
14 years 4 months ago
1995
Springer
The Self system attempts to integrate intellectual and non-intellectual aspects of programming to create an overall experience. The language semantics, user interface, and implemen...
ECOOP
1995
Springer
14 years 4 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
ECOOP
1995
Springer
14 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...
ECOOP
1995
Springer
14 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...
ECOOP
1995
Springer
14 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...
ECOOP
1995
Springer
14 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...
ECOOP
1995
Springer
14 years 4 months ago
1995
Springer
ECOOP
1995
Springer
14 years 4 months ago
1995
Springer
ECOOP
1995
Springer
14 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...