Results 1 
1 of
1
LambdaUpsilonOmega: An Assistant Algorithms Analyzer
, 1989
"... . LambdaUpsilonOmega, \Upsilon\Omega , is a system designed to perform automatic analysis of welldefined classes of algorithms operating over "decomposable" data structures. It consists of an `Algebraic Analyzer' System that compiles algorithms specifications into generating func ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
. LambdaUpsilonOmega, \Upsilon\Omega , is a system designed to perform automatic analysis of welldefined 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...