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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
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.