Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL
by Diego Marmsoler and Achim D. Brucker
by Diego Marmsoler and Achim D. Brucker
Computer science/Programming languages
Subject Classification
ACM: Software and its engineering~General programming languages
AMS: Computer science / Theory of software / Theory of programming languages
2022
by Diego Marmsoler and Achim D. Brucker
2019
Clean - An Abstract Imperative Programming Language and its Theory
by Frédéric Tuong and Burkhart Wolff