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

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00075486 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More