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...

Full description

Bibliographic Details
Main Author: Schellekens, Michel
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