4880 search results - page 315 / 976 » Manuals as Structured Programs |
139
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
146
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
144
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
134
Voted
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
169
Voted
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...