1715 search results - page 221 / 343 » Domain-Specific Program Checking |
ECOOP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
WCRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
SAIG
2001
Springer
14 years 2 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...