Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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 (Research report)
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Thursday, April 19, 2012 - 3:23:43 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:01 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:49:31 PM


Publisher files allowed on an open archive


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



Record views


Files downloads