K-Rust: An Executable Formal Semantics for Rust.

Shuanglong Kan David Sanán Shang-Wei Lin Yang Liu

Published in: CoRR (2018)

Keyphrases

formal semantics
er model
logical reasoning
first order logic
modeling language
operational semantics
formal language
logical language
modelling language
owl dl ontology
speech acts
ontology languages
knowledge representation
open source