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.
Type de document :
Rapport
[Research Report] RR-1073, INRIA. 1989
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00075486
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 19 avril 2012 - 15:23:43
Dernière modification le : jeudi 10 mai 2018 - 02:06:59
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:49:31

Fichiers

RR-1073.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

430

Téléchargements de fichiers

186