ECOOP
1995
Springer
14 years 3 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 3 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 3 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 3 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 3 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 3 months ago
1995
Springer
ECOOP
1995
Springer
14 years 3 months ago
1995
Springer
ECOOP
1995
Springer
14 years 3 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...
ICALP
1997
Springer
14 years 3 months ago
1997
Springer
ICALP
1997
Springer
14 years 3 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...