Author:
Guéneau Armaël,Charguéraud Arthur,Pottier François
Publisher
Springer International Publishing
Reference26 articles.
1. Akra, M.A., Bazzi, L.: On the solution of linear recurrence equations. Comput. Optim. Appl. 10(2), 195–210 (1998). https://doi.org/10.1023/A:1018373005182
2. Atkey, R.: Amortised resource analysis with separation logic. Log. Methods Comput. Sci. 7(2:17) (2011). http://bentnib.org/amortised-sep-logic-journal.pdf
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Avigad,2004
4. Boldo, S., Clément, F., Filliâtre, J.C., Mayero, M., Melquiond, G., Weis, P.: Wave equation numerical resolution: a comprehensive mechanized proof of a C program. J. Autom. Reason. 50(4), 423–456 (2013). https://hal.inria.fr/hal-00649240
5. Boldo, S., Lelay, C., Melquiond, G.: Coquelicot: a user-friendly library of real analysis for Coq. Math. Comput. Sci. 9(1), 41–62 (2015). https://hal.inria.fr/hal-00860648
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl);Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28
2. Modeling and Analyzing Evaluation Cost of CUDA Kernels;ACM Transactions on Parallel Computing;2024-03-12
3. Polynomial Time and Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
4. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Performal: Formal Verification of Latency Properties for Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06