The aim is to design a novel type of languageMOQAfor which programs induce recurrence equations for the average-case time in a compositional way and based on the notion of randomness preservation.

The usefulness of compositionality for static timing has been indicated in Chapter 1.We discuss compositionality for various practical timing measures in the following.


Basic Building Block Selection Phase Random Structure Case Time Input List 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations