5235 search results - page 103 / 1047 » Analysis of Multithreaded Programs |
138
Voted
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
228
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
134
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
143
click to vote
LOPSTR
1994
Springer
15 years 9 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
117
Voted
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...