FORQ-Based Language Inclusion Formal Testing.
Kyveli DoveriPierre GantyNicolas MazzocchiPublished in: CAV (2) (2022)
Keyphrases
- formal language
- formal languages
- visual languages
- programming language
- operational semantics
- language learning
- precisely defined
- natural language
- meta level
- mathematical theory
- highly expressive
- object oriented programming
- target language
- specification language
- english language
- formal model
- website
- formal representation