<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:mrow></mml:math>; unlocking the potential of compositional static average-case analysis
収録刊行物
-
- The Journal of Logic and Algebraic Programming
-
The Journal of Logic and Algebraic Programming 79 (1), 61-83, 2010-01
Elsevier BV