Formal Semantics of the Kconfig Language.

Steven She Thorsten Berger

Published in: CoRR (2022)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
speech acts
logical reasoning
er model
first order logic
ontology languages
natural language
model theoretic
data model
data exchange