A Modular Calculus for the Average Cost of Data Structuring

• Main Author: Schellekens, Michel (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2008.
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Data structures (Computer science).; Computers.; Algorithms.; Computer Science.; Algorithm Analysis and Problem Complexity.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Data Structures.; Software Engineering.

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

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.