Formal Semantics of the Kconfig Language
Software Engineering
2022-09-13 v1
Abstract
The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in the xconfig configurator. We assume an abstract syntax representation for concepts in the Kconfig language and delegate the details of the translation from concrete to abstract syntaxes to a later document.
Cite
@article{arxiv.2209.04916,
title = {Formal Semantics of the Kconfig Language},
author = {Steven She and Thorsten Berger},
journal= {arXiv preprint arXiv:2209.04916},
year = {2022}
}
Comments
Technical Note, Department of Electrical and Computer Engineering, University of Waterloo, Canada