A formally verified interpreter for a shell-like programming language

DOI10.1007/978-3-319-72308-2_1zbMath1403.68036OpenAlexW2772048259MaRDI QIDQ1630019

Nicolas Jeannerod, Claude Marché, Ralf Treinen

Publication date: 7 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_1

zbMATH Keywords

programming languagedeductive program verificationPOSIX shell

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (3)

Unnamed Item ⋮ CoLiS ⋮ Constructing infinitary quotient-inductive types

Uses Software

• SPASS
• Why3
• cvc3
• z3
• Alt-Ergo
• CVC4
• WhyML
• E Theorem Prover
• Shellcheck
• checkbashisms

This page was built for publication: A formally verified interpreter for a shell-like programming language