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
Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL
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