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

88 Mechanical Program Analysis – B Wegbreit - 1975
15 The Automatic Complexity Analysis of Divide-and-Conquer Programs – P Zimmermann, W Zimmermann - 1989
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
711 The Art of Computer Programming, Volume 3: Sorting and Searching – D E Knuth - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
2474 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
758 Eiffel: the language – B Meyer - 1992