Lines Matching full:semantics
684 b) Match dependency semantics:
737 Work on kconfig is welcomed on both areas of clarifying semantics and on
744 Kconfig should have at least clear and well defined semantics which also
751 Semantics of Kconfig
758 semantics is welcomed. One project deduced Kconfig semantics through
760 the deduced semantics matches our intended Kconfig design goals.
761 Another project formalized a denotational semantics of a core subset of
764 Having well defined semantics can be useful for tools for practical
766 express in boolean abstraction of the inferred semantics of Kconfig to
770 The kismet tool, based on the semantics in [10]_, finds abuses of reverse
777 only reverse engineering techniques have been used to deduce semantics from
790 abstraction the inferred semantics of Kconfig to translate Kconfig logic into