$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis.
Xiaohong ChenGrigore RosuPublished in: SETSS (2019)
Keyphrases
- programming language
- formal analysis
- general purpose
- object oriented
- strongly typed
- high level
- logic programming
- knowledge base
- machine learning
- object oriented programming
- software engineering
- programming environment
- specification language
- knowledge acquisition
- lightweight
- programming paradigms
- denotational semantics