A Modular Calculus for the Average Cost of Data Structuring

• Κύριος συγγραφέας: Schellekens, Michel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2008.
• Θέματα: 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...

Πίνακας περιεχομένων:

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