1901 search results - page 131 / 381 » Predicting Program Properties from |
121
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
TCS
2010
15 years 1 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
214
Voted
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
123
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
127
click to vote
TECS
2010
15 years 1 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...