Lambda-Upsilon-Omega the 1989 cookbook - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

Lambda-Upsilon-Omega the 1989 cookbook

Philippe Flajolet
  • Function : Author
  • PersonId : 829512
Paul Zimmermann


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1073.pdf (576.09 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

inria-00075486 , version 1 (19-04-2012)


  • HAL Id : inria-00075486 , version 1


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


Gmail Facebook X LinkedIn More