• ACSL

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

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

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

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

  • Referenced in 99 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 128 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • ProbLog

  • Referenced in 47 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...
  • PDDL

  • Referenced in 68 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • MMT

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

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