KRust: A Formal Executable Semantics of Rust.
Feng WangFu SongMin ZhangXiaoran ZhuJun ZhangPublished in: TASE (2018)
Keyphrases
- formal specification
- specification languages
- formal language
- operational semantics
- specification language
- model theoretic
- machine processable
- process algebra
- formal semantics
- highly expressive
- attribute grammars
- logic programming
- real time
- semantic information
- relational databases
- control flow
- dynamic aspects
- neural network
- formal model
- database
- multi agent
- information systems
- genetic algorithm
- data sets