6960 search results - page 95 / 1392 » Continuity Analysis of Programs |
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
105
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
119
click to vote
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...