Amortised Memory Analysis Using the Depth of Data Structures-Reference-Cited by-同舟云学术

Amortised Memory Analysis Using the Depth of Data Structures

Published:2009 Issue: Volume: Page:190-204
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Campbell Brian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00590-9_14

Reference21 articles.

1. Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: POPL 2003: Proceedings of the 30th ACM Symposium on Principles of Programming Languages, New Orleans. ACM Press, New York (2003)

2. O’Hearn, P.: On bunched typing. Journal of Functional Programming 13(4), 747–796 (2003)

3. Lecture Notes in Computer Science;D. Aspinall,2005

4. Jost, S., Loidl, H.W., Hammond, K.: Report on stack-space analysis (revised). Deliverable D05, The Embounded Project (IST-510255) (2007)

5. Campbell, B.: Prediction of linear memory usage for first-order functional programs. In: Trends in Functional Programming, vol. 9 (2008) (to appear)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

2. Two decades of automatic amortized resource analysis;Mathematical Structures in Computer Science;2022-03-16

3. Automatic amortized resource analysis with the Quantum physicist’s method;Proceedings of the ACM on Programming Languages;2021-08-22

4. Towards automatic resource bound analysis for OCaml;ACM SIGPLAN Notices;2017-05-11

5. Towards automatic resource bound analysis for OCaml;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01