Lines Matching full:semantics

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