Program extraction for mutable arrays

DOI10.1007/978-3-319-90686-7_4OpenAlexW2800345163MaRDI QIDQ1648867

Kazuhiko Sakaguchi

Publication date: 9 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-90686-7_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Towards a practical library for monadic equational reasoning in Coq

Uses Software

• Coq
• Isabelle/HOL
• Coq/SSReflect
• Ynot

This page was built for publication: Program extraction for mutable arrays