127 search results - page 8 / 26 » Type-sensitive control-flow analysis |
CAISE
2009
Springer
14 years 1 months ago
2009
Springer
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
ER
2005
Springer
14 years 19 days ago
2005
Springer
MFCS
1998
Springer
13 years 11 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
The complexity of round robin iterative data flow analysis has been traditionally defined as 1+d where d is the depth of a control flow graph. However, this bound is restricted to ...