4716 search results - page 20 / 944 » Iterative-free program analysis |
APLAS
2009
ACM
14 years 4 months ago
2009
ACM
ADT
2010
13 years 9 months ago
2010
ESOP
2005
Springer
14 years 3 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 ...
ISCIS
2004
Springer
14 years 3 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...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...