Author:
Hoffmann Jan,Hofmann Martin
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Hofmann, M., Jost, S.: Static Prediction of Heap Space Usage for First-Order Functional Programs. In: 30th ACM Symp. on Principles of Prog. Langs. (POPL 2003), pp. 185–197 (2003)
2. Lecture Notes in Computer Science;S. Jost,2009
3. Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Loidl, H.W., Michaelson, G., Sérot, J., Wallace, A.: The EmBounded Project: Automatic Prediction of Resource Bounds for Embedded Systems. Trends in Fun. Prog. 6 (2006)
4. Tarjan, R.E.: Amortized Computational Complexity. SIAM J. Algebraic Discrete Methods 6(2), 306–318 (1985)
5. Lecture Notes in Computer Science;B. Campbell,2009
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust Resource Bounds with Static Analysis and Bayesian Inference;Proceedings of the ACM on Programming Languages;2024-06-20
2. Quantitative Bounds on Resource Usage of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29
3. Circuit Width Estimation via Effect Typing and Linear Dependency;Lecture Notes in Computer Science;2024
4. OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs;Proceedings of the ACM on Programming Languages;2023-10-16