Work

Lambda-Upsilon-Omega the 1989 cookbook

Year: 1989

Type: article

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.

Authors: Philippe Flajolet, Paul Zimmermann, Bruno Salvy

Institutions: Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique de l'École Polytechnique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W169414748

FWCI: 1.128

Cites:

Cited by: 13

Related to: 10