975 search results - page 145 / 195 » Declarative Aspect-Oriented Programming |
PEPM
2009
ACM
14 years 7 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
ESWS
2007
Springer
14 years 5 months ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
LCPC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
ISSTA
2004
ACM
14 years 4 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...