Verified memoization and dynamic programming

DOI10.1007/978-3-319-94821-8_34OpenAlexW2810599929MaRDI QIDQ1791205

Simon Wimmer, Shuwei Hu, Tobias Nipkow

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_34

Mathematics Subject Classification ID

Dynamic programming (90C39) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automated verification of the parallel Bellman-Ford algorithm ⋮ Effect polymorphism in higher-order logic (proof pearl)

Uses Software

• Coq
• Isabelle/HOL
• VerifyThis
• Memoization

This page was built for publication: Verified memoization and dynamic programming