论文标题
Kconfig语言的正式语义
Formal Semantics of the Kconfig Language
论文作者
论文摘要
Kconfig语言定义了一组符号，这些符号被分配为配置中的值。我们根据Xconfig配置器中表现出的行为来描述Kconfig语言的语义。我们假设Kconfig语言中概念的抽象语法表示形式，并将从具体语法到抽象语法转换为后来文档的翻译细节。
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.
