• Haskell

  • Referenced in 646 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Eiffel

  • Referenced in 89 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AMPL

  • Referenced in 496 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • ACSL

  • Referenced in 40 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • Modelica

  • Referenced in 64 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • Mizar

  • Referenced in 342 articles [sw04704]
  • The Mizar System is the only implementation of...
  • GeoPQL

  • Referenced in 2 articles [sw04855]
  • GeoPQL(The Geographical Pictorial Query Language) is a...
  • AIMMS

  • Referenced in 84 articles [sw04912]
  • AIMMS is an optimization technology that enables you...
  • Maude

  • Referenced in 570 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Rules2CP

  • Referenced in 4 articles [sw06255]
  • Rules2CP is a general purpose rule-based modeling...
  • OCaml

  • Referenced in 245 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Prolog

  • Referenced in 66 articles [sw06518]
  • GNU Prolog is a free Prolog compiler with...
  • XQuery

  • Referenced in 110 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Oz

  • Referenced in 105 articles [sw06799]
  • Oz is a high-level programming language combining...
  • Twelf

  • Referenced in 140 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • ProbLog

  • Referenced in 58 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...