Verified Memoization and Dynamic Programming-Reference-Cited by-同舟云学术

Verified Memoization and Dynamic Programming

Published:2018 Issue: Volume: Page:579-596
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

Wimmer Simon^ORCID,Hu Shuwei^ORCID,Nipkow Tobias^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94821-8_34

Reference24 articles.

1. Lecture Notes in Computer Science;S Berghofer,2002

2. Bortin, M.: A formalisation of the Cocke-Younger-Kasami algorithm. Archive of Formal Proofs (2016). http://isa-afp.org/entries/CYK.html , Formal proof development

3. Braibant, T., Jourdan, J., Monniaux, D.: Implementing and reasoning about hash-consed data structures in Coq. J. Autom. Reasoning 53(3), 271–304 (2014). https://doi.org/10.1007/s10817-014-9306-0

4. Lecture Notes in Computer Science;L Bulwahn,2008

5. Erwig, M., Ren, D.: Monadification of functional programs. Sci. Comput. Program. 52(1), 101–129 (2004). http://www.sciencedirect.com/science/article/pii/S0167642304000486 , special Issue on Program Transformation

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

1. Complexity Analysis of Recursive Algorithms with and Without Memoization;2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG);2024-04-02

2. Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

3. WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly;Proceedings of the ACM on Programming Languages;2023-06-06

4. Automated Verification of the Parallel Bellman–Ford Algorithm;Static Analysis;2021

5. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020