A flow calculus of ::::mwp::::-bounds for complexity analysis

Neil D. Jones, Lars Kristiansen. A flow calculus of ::::mwp::::-bounds for complexity analysis. ACM Trans. Comput. Log., 10(4), 2009. [doi]

Abstract

Abstract is missing.