Minuska: Towards a Formally Verified Programming Language Framework

Jan Tušil, Jan Obdržálek

Programming language frameworks allow us to generate language tools (e.g., interpreters) just from a formal description of the syntax and semantics of a programming language. As th…