KRust: A Formal Executable Semantics of Rust.
Feng WangFu SongMin ZhangXiaoran ZhuJun ZhangPublished in: CoRR (2018)
Keyphrases
- formal specification
- specification languages
- process algebra
- operational semantics
- specification language
- formal language
- model theoretic
- formal semantics
- machine processable
- formal methods
- control flow
- logic programming
- highly expressive
- formal model
- data sets
- attribute grammars
- communicative acts
- speech acts
- logical language
- dynamic aspects
- model checking
- metadata
- social networks