A Denotational Semantics of Solidity in Isabelle/HOL.

Diego Marmsoler Achim D. Brucker

Published in: SEFM (2021)

Keyphrases

denotational semantics
theorem prover
natural deduction
programming language
operational semantics
theorem proving
inference rules
first order logic
formal semantics
query language
higher order logic
general purpose
higher order
abstract data types
multi agent systems
databases
knowledge representation
data model