6740 search results - page 599 / 1348 » Using Classification as a Programming Language |
157
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
177
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
We introduce new techniques for studying the structure of partial k-trees. In particular, we show that the complements of partial k-trees provide an intuitively-appealing character...
134
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
137
click to vote
ASPLOS
1992
ACM
15 years 10 months ago
1992
ACM
Multiprocessor architects have begun to explore several mechanisms such as prefetching, context-switching and software-assisted dynamic cache-coherence, which transform single-pha...
152
click to vote
ISOOMS
1994
15 years 10 months ago
1994
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...