4725 search results - page 64 / 945 » Dependence-Based Program Analysis |
118
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
104
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
114
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
108
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
138
Voted
HCI
2009
15 years 3 days ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...