• LINGO

  • Referenced in 319 articles [sw04942]
  • integrated package that includes a powerful language for expressing optimization models, a full featured environment...
  • ANSYS-CFX

  • Referenced in 106 articles [sw06391]
  • using session files, scripting and a powerful expression language...
  • Ciao

  • Referenced in 51 articles [sw12088]
  • main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution...
  • DLV

  • Referenced in 33 articles [sw04640]
  • logical formalisms with a very high expressive power so that programs are able to represent...
  • GraphLog

  • Referenced in 32 articles [sw20098]
  • qualify these paths. We characterize the expressive power of the language and show that...
  • PDE-Net

  • Referenced in 63 articles [sw36963]
  • models while still maintaining the expressive and predictive power of the network. These constrains...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • construction of problem solutions. NP-SPEC expressive power is precisely characterized as to express exactly...
  • TAG

  • Referenced in 76 articles [sw20627]
  • aggregation in low-power, distributed, wireless environments. TAG allows users to express simple, declarative queries ... executed efficiently in networks of low-power, wireless sensors. We discuss various generic properties...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • powerful symbolic engine, a language that is optimized for operating on symbolic math expressions...
  • F*

  • Referenced in 20 articles [sw27563]
  • backed deductive verification tool with the expressive power of a proof assistant based on dependent ... weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • result, Mozart is unequalled in expressive power and functionality. Mozart has an interactive incremental development...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • higher-order process language. A small but powerful language for higher-order nondeterministic processes ... with a “prefixed sum”, in which types express the form of computation path of which ... operational semantics, bisimulation, congruence properties and expressive power are explored; in particular, it is shown...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • that of informal mathematics. The higher-order power of its underlying type theories ... specifying new inductive types, provide an expressive language for formalization of mathematical problems and program...
  • MathCheck

  • Referenced in 12 articles [sw13642]
  • modern SAT solvers, with the expressive power of CAS, thus complementing both. The key insight...
  • OilEd

  • Referenced in 25 articles [sw01560]
  • users to exploit the full power of an expressive web ontology language (OIL). OilEd uses...
  • Psi-calculi

  • Referenced in 11 articles [sw28573]
  • assertions and conditions, giving it an expressive power beyond the applied pi-calculus...
  • SCIL

  • Referenced in 10 articles [sw01099]
  • programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint...
  • IPC-4

  • Referenced in 10 articles [sw03495]
  • developing algorithms that apply to powerfully expressive representations of environments. The other consists of planning...
  • KnowRob

  • Referenced in 10 articles [sw21530]
  • through prototypical queries that demonstrate the expressive power and its impact on the robot...