132
click to vote
ESOP
2010
Springer
16 years 22 days ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...