Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
Automated complexity analysis of Nuprl extracted programs
Journal of Functional Programming
Automated higher-order complexity analysis
Theoretical Computer Science - Implicit computational complexity
A cost semantics for self-adjusting computation
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametric heap usage analysis for functional programs
Proceedings of the 2009 international symposium on Memory management
Calculating polynomial runtime properties
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
| Hi-index | 0.01 |