13 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 5 cited
Formal Semantics of the CDL Language
Thorsten Berger, Steven She
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the…
cs.SE2022★ 13 cited
Formal Semantics of the Kconfig Language
Steven She, Thorsten Berger
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…