Complexity Analysis for a Lazy Higher-Order Language (1990)

Cached

Download Links

by David Sands
Venue:In Proceedings of the 3rd European Symposium on Programming
Citations:48 - 2 self

Documents Related by Co-Citation

78 Automatic Complexity Analysis – Mads Rosendahl - 1989
51 An automatic complexity evaluator – D LeMe╠ütayer - 1988
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
455 The Omega Test: a fast and practical integer programming algorithm for dependence analysis – William Pugh - 1992
88 Mechanical Program Analysis – B Wegbreit - 1975
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
662 Concurrency and automata on infinite sequences – D Park - 1981