• 1ML

  • Referenced in 1 article [sw19983]
  • 1ML -- core and modules united (F-ing first...
  • ACL2

  • Referenced in 155 articles [sw00060]
  • ACL2 is both a programming language in which...
  • ACSL

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

  • Referenced in 97 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • ALDOR

  • Referenced in 21 articles [sw01220]
  • Aldor is a programming language with an expressive...
  • ALGOL 68

  • Referenced in 55 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Alpha

  • Referenced in 5 articles [sw13717]
  • Alpha is a functional language for expressing regular...
  • AMPL

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

  • Referenced in 0 articles [sw19694]
  • The APMonitor Modeling Language is optimization software for...
  • AspectC++

  • Referenced in 12 articles [sw13023]
  • The success of Aspect-Oriented Software Development rises...
  • Atoment

  • Referenced in 3 articles [sw19057]
  • Introduction to the Atoment language. The Atoment language...
  • AutoIt

  • Referenced in 1 article [sw14625]
  • AutoIt v3 is a freeware BASIC-like scripting...
  • AUTOSIM

  • Referenced in 7 articles [sw01171]
  • AUTOSIM: A computer language for representing multibody systems...
  • BABEL

  • Referenced in 66 articles [sw03018]
  • Logic programming with functions and predicates: The language...
  • biXid

  • Referenced in 7 articles [sw12667]
  • biXid: a bidirectional transformation language for XML. Often...
  • Boogie

  • Referenced in 76 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • B-Prolog

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

  • Referenced in 1 article [sw20777]
  • CARMA: Collective adaptive resource-sharing Markovian agents. In...
  • Cayenne

  • Referenced in 20 articles [sw09686]
  • Cayenne — a language with dependent types. Cayenne is...
  • cc(FD)

  • Referenced in 14 articles [sw21237]
  • Design, implementation, and evaluation of the constraint language...