Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Schellekens, Michel (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.