TY - GEN
T1 - Constraint-based inter-procedural analysis of parallel programs
AU - Seidl, Helmut
AU - Steffen, Bernhard
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - We provide a uniform framework for the analysis of programs with procedures and explicit, unbounded, fork/join parallelism covering not only bitvector problems like reaching definitions or live variables but also non-bitvector problems like simple constant propagation. Due to their structural similarity to the sequential case, the resulting algorithms are as efficient as their widely accepted sequential counterparts, and they can easily be integrated in existing program analysis environments like e.g. MetaFrame or PAG. We are therefore convinced that our method will soon find its way into industrial-scale computer systems.
AB - We provide a uniform framework for the analysis of programs with procedures and explicit, unbounded, fork/join parallelism covering not only bitvector problems like reaching definitions or live variables but also non-bitvector problems like simple constant propagation. Due to their structural similarity to the sequential case, the resulting algorithms are as efficient as their widely accepted sequential counterparts, and they can easily be integrated in existing program analysis environments like e.g. MetaFrame or PAG. We are therefore convinced that our method will soon find its way into industrial-scale computer systems.
KW - Bit- vector problems
KW - Coincidence theorems
KW - Explicit parallelism
KW - Inter-procedural program analysis
KW - Simple constant propagation
UR - http://www.scopus.com/inward/record.url?scp=84947290808&partnerID=8YFLogxK
U2 - 10.1007/3-540-46425-5_23
DO - 10.1007/3-540-46425-5_23
M3 - Conference contribution
AN - SCOPUS:84947290808
SN - 3540672621
SN - 9783540672623
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 351
EP - 365
BT - Programming Languages and Systems - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings
A2 - Smolka, Gert
PB - Springer Verlag
T2 - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000
Y2 - 25 March 2000 through 2 April 2000
ER -