5904 search results - page 312 / 1181 » Requirements for a Composition Language |
126
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
132
click to vote
REFLECTION
2001
Springer
15 years 9 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
159
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
126
Voted
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...
176
click to vote
ECOOP
1997
Springer
15 years 8 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...