Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer

Authors:
Philippe Flajolet;Bruno Salvy;Paul Zimmermann
Affiliations:
-;-;-
Venue:
AAECC-6 Proceedings of the 6th International Conference, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Year:
1988

Examples of automatic asymptotic expansions

ACM SIGSAM Bulletin
Automatic time-bound analysis for a higher-order language

PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Static prediction of heap space usage for first-order functional programs

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic Accurate Cost-Bound Analysis for High-Level Languages

IEEE Transactions on Computers

Hi-index	0.00