Verified functional programming of an abstract interpreter
From MaRDI portal
Publication:2145322
DOI10.1007/978-3-030-88806-0_6zbMath1497.68102arXiv2107.09472OpenAlexW3201393941MaRDI QIDQ2145322
David Pichardie, Jean-Pierre Talpin, Lucas Franceschino
Publication date: 17 June 2022
Full work available at URL: https://arxiv.org/abs/2107.09472
Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
Cites Work
This page was built for publication: Verified functional programming of an abstract interpreter