Concrete semantics with Coq and CoqHammer

DOI10.1007/978-3-319-96812-4_5zbMath1417.68181arXiv1808.06413OpenAlexW3101720310WikidataQ108482115 ScholiaQ108482115MaRDI QIDQ1798946

Łukasz Czajka, Cezary Kaliszyk, Burak Ekici

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1808.06413

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• CoqHammer
• Unnamed Item
• Unnamed Item

This page was built for publication: Concrete semantics with Coq and CoqHammer