85 search results - page 1 / 17 » Formalising Composition Oriented Programming |
ECOOPW
1999
Springer
15 years 1 months ago
1999
Springer
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
ENTCS
2002
14 years 9 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
TOOLS
2009
IEEE
15 years 4 months ago
2009
IEEE
106
click to vote
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
103
click to vote
ICCL
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...