Lambda-Upsilon-Omega the 1989 cookbook

Abstract : Lambda--Upsilon--Omega ( \Upsilon\Omega ) is a research tool designed to assist the average case analysis of some well defined classes of algorithms and data structures. This cookbook consists of an informal introduction to the system together with eighteen examples of programmes that are automatically analyzed. Amongst the applications treated here, we find: addition chains, quantitative concurrency analysis of simple systems, symbolic manipulation algorithms such as formal differentiation, simplification and rewriting systems, as well as combinatorial models including various tree and permutation statistics and functional graphs with applications to integer factorisation.
Document type :
Reports
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00075486
Contributor : Rapport de Recherche Inria <>
Submitted on : Thursday, April 19, 2012 - 3:23:43 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:27 PM
Long-term archiving on : Sunday, April 4, 2010 - 9:49:31 PM

Files

RR-1073.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00075486, version 1

Collections

Citation

Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega the 1989 cookbook. [Research Report] RR-1073, INRIA. 1989. ⟨inria-00075486⟩

Share

Metrics

Record views

508

Files downloads

246