Sign in
Modular, compositional, and executable formal semantics for LLVM IR.
Yannick Zakowski
Calvin Beck
Irene Yoon
Ilia Zaichuk
Vadim Zaliva
Steve Zdancewic
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
formal semantics
information retrieval
theorem prover
logical language
er model
formal language
modelling language
first order logic
modeling language
operational semantics
ontology languages
formal specification
logical reasoning