1588 search results - page 92 / 318 » Modular action language |
127
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
128
click to vote
JAPLL
2008
15 years 3 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
123
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
127
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
126
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...