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.
KeywordsBasic Building Block Selection Phase Random Structure Case Time Input List
Unable to display preview. Download preview PDF.