• Modelica

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

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

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

  • Referenced in 495 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 139 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Prolog

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

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

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

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

  • Referenced in 41 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • B-Prolog

  • Referenced in 9 articles [sw06949]
  • B-Prolog is a high-performance implementation of...
  • COWS

  • Referenced in 45 articles [sw06955]
  • A calculus for orchestration of web services. We...
  • MMT

  • Referenced in 9 articles [sw07136]
  • The MMT Language. We introduce the MMT language...
  • Scala

  • Referenced in 46 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • LISP

  • Referenced in 109 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • Erlang

  • Referenced in 66 articles [sw07202]
  • Erlang is a programming language used to build...
  • Orc

  • Referenced in 14 articles [sw07311]
  • The Orc programming language. Orc was originally presented...