• 1ML

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

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

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

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

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

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

  • Referenced in 422 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...
  • 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 65 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 73 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-Pi

  • Referenced in 19 articles [sw15033]
  • CC-Pi: A Constraint-Based Language for Specifying...
  • Cg

  • Referenced in 32 articles [sw14154]
  • Cg: a system for programming graphics hardware in...
  • Charon

  • Referenced in 12 articles [sw19755]
  • Modular specification of hybrid systems in Charon. A...