AI Chat AI Image Generator AI Video Text to Speech

Formal Semantics of the CDL Language

09/23/2022

∙

by Thorsten Berger, et al.

∙

∙

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 basis for an analysis and comparison of the two variability-modeling languages Kconfig and CDL. The semantics given in this document are based on analyzing the CDL documentation, inspecting the source code of the toolchain, as well as testing the tools on particular examples.

Thorsten Berger
14 publications
Steven She
2 publications

page 1

page 2

page 3

page 4

research

∙ 12/23/2019

A Component-Based Formal Language Workbench

The CBS framework supports component-based specification of programming ...

0 Peter D. Mosses, et al. ∙

research

∙ 09/12/2019

A Formal Semantics of Findel in Coq (Short Paper)

We present the first formal semantics of Findel - a DSL for specifying f...

0 Andrei Arusoaie, et al. ∙

research

∙ 09/13/2021

One Down, 699 to Go: or, synthesising compositional desugarings

Programming or scripting languages used in real-world systems are seldom...

0 Sándor Bartha, et al. ∙

research

∙ 02/20/2014

Formal Description of Components in Operating Systems

The contemporary development of hardware components is a prerequisite fo...

0 Asen Petkov Iliev, et al. ∙

research

∙ 06/07/2017

Decoding Lua: Formal Semantics for the Developer and the Semanticist

We provide formal semantics for a large subset of the Lua programming la...

0 Mallku Soldevila, et al. ∙

research

∙ 08/24/2019

Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics

This article contains ideas and their elaboration for quantifiers, which...

0 Alex Shkotin, et al. ∙

research

∙ 11/03/2020

Towards Conceptual Modeling Semantics: Eventizing Tarski's Truth Schema

Modeling languages in software engineering (e.g., UML) evolved from soft...

0 Sabah Al-Fedaghi, et al. ∙