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

Cached

Download Links

by Philippe Flajolet , Bruno Salvy , Paul Zimmermann
Citations:14 - 2 self

Documents Related by Co-Citation

85 Mechanical program analysis – B Wegbreit - 1975
15 The Automatic Complexity Analysis of Divide-and-Conquer Programs – P Zimmermann, W Zimmermann - 1989
51 ACE: an automatic complexity evaluator РD Le M̩tayer
56 Automatic Average-Case Analysis Of Algorithms – Philippe Flajolet, E De Recherche, Et En Automatique, Domaine De Voluceau, Bruno Salvy, Bruno Salvy, Paul Zimmermann, Paul Zimmermann - 1991
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
76 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
15 Lambda-Upsilon-Omega -- The 1989 Cookbook – Philippe Flajolet, Bruno Salvy, Paul Zimmermann - 1989
4 Analysis of benchmark characterization and benchmark performance prediction – R H Saavedra, A J Smith - 1996
19 Computer-Assisted Microanalysis of Programs – J Cohen - 1982
77 Automatic complexity analysis – M Rosendahl - 1989
99 An Accurate Worst Case Timing Analysis for RISC Processors – Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong Sang Kim - 1995
47 Complexity Analysis for a Lazy Higher-Order Language – David Sands - 1990
52 Applying Compiler Techniques to Cache Behavior Prediction – Christian Ferdinand, Florian Martin, Reinhard Wilhelm - 1997
58 On the False Path Problem in Hard Real-Time Programs – Peter Altenbernd - 1996
159 Reasoning about Time in Higher-Level Language Software – Alan Shaw - 1989
122 Predicting Program Execution Times by Analyzing Static and Dynamic – C Y Park - 1993
728 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
118 The Art of Computer Programming, Volume 1 – D E Knuth - 1998
7 Automatische Komplexitatsanalyse funktionaler Programme. PhD thesis, Fakultat fur Informatik der Universitat Karlsruhe – W Zimmermann - 1990