Lines Matching full:semantics

645   b) Match dependency semantics:
698 Work on kconfig is welcomed on both areas of clarifying semantics and on
705 Kconfig should have at least clear and well defined semantics which also
712 Semantics of Kconfig
719 semantics is welcomed. One project deduced Kconfig semantics through
721 the deduced semantics matches our intended Kconfig design goals.
722 Another project formalized a denotational semantics of a core subset of
725 Having well defined semantics can be useful for tools for practical
727 express in boolean abstraction of the inferred semantics of Kconfig to
731 The kismet tool, based on the semantics in [10]_, finds abuses of reverse
738 only reverse engineering techniques have been used to deduce semantics from
751 abstraction the inferred semantics of Kconfig to translate Kconfig logic into