Towards a trustworthy semantics-based language framework via proof generation

DOI10.1007/978-3-030-81688-9_23zbMath1493.68056OpenAlexW3157277427MaRDI QIDQ832282

N. E. Zubov

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81688-9_23

zbMATH Keywords

proof checkingproof generationsemantic framework

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A matching logic foundation for Alk

Uses Software

• Coq
• Isabelle
• Maude
• Metamath
• K-Java
• KJS
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• K-Java
• Matching Logic

This page was built for publication: Towards a trustworthy semantics-based language framework via proof generation