Lambda-Upsilon-Omega the 1989 cookbook - Département d'informatique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1989

Lambda-Upsilon-Omega the 1989 cookbook

Philippe Flajolet
  • Fonction : Auteur
  • PersonId : 829512
Paul Zimmermann

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1073.pdf (576.09 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00075486 , version 1

Citer

Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega the 1989 cookbook. [Research Report] RR-1073, INRIA. 1989. ⟨inria-00075486⟩
295 Consultations
411 Téléchargements

Partager

Gmail Facebook X LinkedIn More