Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL
by Diego Marmsoler, Asad Ahmed and Achim D. Brucker
by Diego Marmsoler, Asad Ahmed 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
2026
by Diego Marmsoler, Asad Ahmed and Achim D. Brucker
2025
Stratified Datalog and Program Analysis
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
2024
2022
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL
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