Distri-Track Joint with D. Hickey and M. Boubekeur

The objective of the software tool Distri-Track is to automate the derivation of the average-case execution time (ACET) ofMOQAprograms. It is required to follow exactly the rules as set out inMOQAtheory. It is also an evaluation ofMOQAin that it explores how the language can be used in practice. In this chapter an overview of the design of Distri-Track is given and some preliminary evaluation results are reported.

A complete overview of Distri-Track and the MOQAlanguage specifications in Java would exceed the scope of the current book. The overview sketched below is given to provide the main ideas underlying the approach to the implementation of the timing tool Distri-Track. MOQAcode is provided on occasion as well as code used in the context of Distri-Track. Again, this is only for illustration purposes, without providing in every case full details on the codes meaning.