1027 search results - page 58 / 206 » A Model for Java with Wildcards |
114
Voted
SOCO
2009
Springer
15 years 8 months ago
2009
Springer
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
138
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
107
click to vote
MASCOTS
2004
15 years 4 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
112
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
110
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...