Author:
Vasconcelos Pedro,Jost Steffen,Florido Mário,Hammond Kevin
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Barwise, J., Moss, L.: Vicious Circles. CSLI Publications (1996)
2. Bird, R., Wadler, P.: Introduction to Functional Programming. Prentice-Hall, Englewood Cliffs (1988)
3. Coutts, D.: Stream Fusion: Practical shortcut fusion for coinductive sequence types. PhD thesis, Worcester College, University of Oxford (2010)
4. Simoes, H., Vasconcelos, P., Jost, S., Hammond, K., Florido, M.: Automatic amortised analysis of dynamic memory allocation for lazy functional programs. In: Proc. of ACM Intl. Conf. Func. Programming (ICFP 2012), pp. 165–176. ACM (2012)
5. Sestoft, P.: Deriving a Lazy Abstract Machine. J. Functional Programming 7(3), 231–264 (1997)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Execution Time Program Verification with Tight Bounds;Practical Aspects of Declarative Languages;2023
2. Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
3. Two decades of automatic amortized resource analysis;Mathematical Structures in Computer Science;2022-03-16
4. Resource Analysis for Lazy Evaluation with Polynomial Potential;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
5. Exponential Automatic Amortized Resource Analysis;Lecture Notes in Computer Science;2020