Stratified Datalog and Program Analysis
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
Computer science/Programming languages
Subject Classification
ACM: Software and its engineering~General programming languages
AMS: Computer science / Theory of software / Theory of programming languages
2025
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