Foundational certified code in the Twelf metalogical framework

DOI10.1145/1352582.1352584zbMath1367.68063OpenAlexW2019626854MaRDI QIDQ5277805

Susmit Sarkar, Karl Crary

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1352582.1352584

zbMATH Keywords

logic programmingmetalogicfoundational certified code

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

TWAM: a certifying abstract machine for logic programs ⋮ Verified Software Toolchain