• NP-SPEC

  • Referenced in 20 articles [sw02243]
  • NP-SPEC: An executable specification language for solving all problems in NP. A logic-based ... specification language, called NP-SPEC, is presented. The language is obtained by extending DATALOG through ... second-order predicates of predefined form. NP-SPEC programs specify solutions to problems ... reasonably efficient construction of problem solutions. NP-SPEC expressive power is precisely characterized...