In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Formal Semantics of the Kconfig Language
| Title | Formal Semantics of the Kconfig Language |
| Publication Type | Report |
| Year of Publication | 2010 |
| Authors | She, S., and T. Berger |
| Institution | University of Waterloo |
| Type | Technical Note |
| 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 behaviour 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. |
| Refereed Designation | Non-Refereed |
| Attachment | Size |
|---|---|
| kconfig_semantics.pdf | 132.14 KB |
