10072 search results - page 36 / 2015 » Composition of Model Programs |
97
Voted
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
105
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
124
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
121
click to vote
FIW
2009
14 years 11 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
APLAS
2005
ACM
15 years 7 months ago
2005
ACM