A Modular Calculus for the Average Cost of Data Structuring
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 of its programs to be modular.Time in this context refers to a broad notion of cost, which can be used to estimate the actual runnin...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer US
2008, 2008
|
Edition: | 1st ed. 2008 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Introductory Notions
- Compositionality
- Random Bag Preservation and Isolated Subsets
- Basic MOQA Operations
- Average-Case Time of Basic MOQA Operations
- The MOQA Language
- Examples of MOQA Programs
- Average-Case Analysis of MOQA programs
- Distri-Track Joint with D. Hickey and M. Boubekeur
- Conclusion and FutureWork