Towards a trustworthy semantics-based language framework via proof generation
From MaRDI portal
Publication:832282
DOI10.1007/978-3-030-81688-9_23zbMath1493.68056OpenAlexW3157277427MaRDI QIDQ832282
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81688-9_23
Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software
Cites Work