[HTML][HTML] MOQA; unlocking the potential of compositional static average-case analysis
The Journal of Logic and Algebraic Programming, 2010 - Elsevier
Compositionality is the “golden key” to static analysis and plays a central role in static worst-
case time analysis. We show that compositionality, combined with the capacity for tracking …
case time analysis. We show that compositionality, combined with the capacity for tracking …
MOQA; unlocking the potential of compositional static average-case analysis
MP Schellekens - Journal of Logic and Algebraic Programming, 2010 - infona.pl
Compositionality is the “golden key” to static analysis and plays a central role in static worst-
case time analysis. We show that compositionality, combined with the capacity for tracking …
case time analysis. We show that compositionality, combined with the capacity for tracking …
[引用][C] ; unlocking the potential of compositional static average-case analysis
MP Schellekens - The Journal of Logic and Algebraic Programming, 2010 - cir.nii.ac.jp
< mml: math xmlns: mml=" http://www. w3. org/1998/Math/MathML" altimg=" si1. gif"
overflow=" scroll">< mml: mrow>< mml: mi mathvariant=" script"> MOQA</mml: mi></mml …
overflow=" scroll">< mml: mrow>< mml: mi mathvariant=" script"> MOQA</mml: mi></mml …