Formal Semantics of the Kconfig Language

09/11/2022
by   Steven She, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/02/2021

Formal Semantics of a Classical-Quantum Language

We investigate the formal semantics of a simple imperative language that...
research
09/13/2023

Deriving Abstract Interpreters from Skeletal Semantics

This paper describes a methodology for defining an executable abstract i...
research
05/04/2019

An experiment with denotational semantics

The paper is devoted to showing how to systematically design a programmi...
research
07/10/2023

On the Computational Modeling of Meaning: Embodied Cognition Intertwined with Emotion

This document chronicles this author's attempt to explore how words come...
research
09/25/2018

Skeletal Semantics and their Interpretations

Many meta-languages have been proposed for writing rule-based operationa...
research
09/20/2021

Intensionalizing Abstract Meaning Representations: Non-Veridicality and Scope

Abstract Meaning Representation (AMR) is a graphical meaning representat...
research
04/24/2023

Evolving Three Dimension (3D) Abstract Art: Fitting Concepts by Language

Computational creativity has contributed heavily to abstract art in mode...

Please sign up or login with your details

Forgot password? Click here to reset