Lambda-Upsilon-Omega: An Assistant Algorithms Analyzer

Lambda-Upsilon-Omega: An Assistant Algorithms Analyzer (1989)

Cached

Download Links

[ftp.inria.fr]

by Philippe Flajolet , Bruno Salvy , Paul Zimmermann

Citations:

15 - 2 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Lambda-Upsilon-Omega: An Assistant Algorithms Analyzer	user correction - Legacy Corrections
AUTHOR NAME	Philippe Flajolet	user correction - Legacy Corrections
AUTHOR NAME	Bruno Salvy	user correction - Legacy Corrections
AUTHOR ADDR	91405 Palaiseau (France)	user correction - Legacy Corrections
AUTHOR NAME	Paul Zimmermann	user correction - Legacy Corrections
AUTHOR AFFIL	; INRIA, Rocquencourt; \Upsilon\Omega	user correction - Legacy Corrections
ABSTRACT	. Lambda-Upsilon-Omega, \Upsilon\Omega , is a system designed to perform automatic analysis of well-defined classes of algorithms operating over "decomposable" data structures. It consists of an `Algebraic Analyzer' System that compiles algorithms specifications into generating functions of average costs, and an `Analytic Analyzer' System that extracts asymptotic informations on coefficients of generating functions. The algebraic part relies on recent methodologies in combinatorial analysis based on systematic correspondences between structural type definitions and counting generating functions. The analytic part makes use of partly classical and partly new correspondences between singularities of analytic functions and the growth of their Taylor coefficients. The current version \Upsilon\Omega 0 of \Upsilon\Omega implements as basic data types, term trees as encountered in symbolic algebra systems. The analytic analyzer can treat large classes of functions with explicit expressio...	user correction - Legacy Corrections
YEAR	1989	user correction - Legacy Corrections
CITATIONS	21 found	ParsCit 1.0