Lines Matching full:semantics

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