• 1ML

  • Referenced in 3 articles [sw19983]
  • 1ML -- core and modules united (F-ing first...
  • ABS

  • Referenced in 21 articles [sw21211]
  • ABS: a core language for abstract behavioral specification...
  • ACL2

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

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

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

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

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

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

  • Referenced in 4 articles [sw22720]
  • Practical affine types. Alms is a general-purpose...
  • Alpha

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

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

  • Referenced in 1 article [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...
  • AWK

  • Referenced in 12 articles [sw23781]
  • AWK is a programming language designed for text...
  • BABEL

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