Login / Signup
An Executable Structural Operational Formal Semantics for Python.
Maximilian A. Köhl
Published in:
CoRR (2021)
Keyphrases
</>
formal semantics
logical language
open source
first order logic
logical reasoning
programming language
formal language
modelling language
er model
operational semantics
theorem prover
modeling language
scripting language
databases
object oriented