180 search results - page 6 / 36 » Precise interprocedural analysis using random interpretation |
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
198
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
115
click to vote
VEE
2005
ACM
15 years 3 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
102
click to vote
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...