This work considers the static calculation of a program's average-case time. The number of
systems that currently tackle this research problem is quite small due to the difficulties …

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 …

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is
developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA …

MOQA is a language specifically designed to facilitate average-case execution time
analysis. It incorporates some innovative techniques to make this possible. Following on …

A Modular Calculus for the Average Cost of Data Structuring introduces MOQA, a new
domain-specific programming language which guarantees the average-case time analysis …

The author's current research programme is the development of a modular calculus for the
average-cost of data structuring. This modular calculus provides a novel foundation for the …

The programming language MOQA was designed by Michel Schellekens in [Schellekens M.:
Compositional Average-Case Analysis, Preprint, submitted to the Journal of ACM (2006) …

This project was started in September 2004 when I first joined Professor Samuel Kamin and
his group at the University of Illinois at Urbana-Champaign. Not only did Professor Kamin …

Abstract 'Frequency counts add an important new dimension to Fortran programs; indeed, it
is difficult to express in words how “eye opening” they are'(Knuth1). Given a source program …

An Animated Guide: The Map of the SAS® Macro Facility Page 1 Page 1 of 9 An Animated
Guide: The Map of the SAS® Macro Facility Russell Lavery, Saad Anbari , Musa Nsereko …