• ACL2

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

  • Referenced in 92 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 394 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • 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 71 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...
  • 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...
  • CLEAN

  • Referenced in 32 articles [sw01346]
  • Clean is a functional language based on Term...
  • CMPL

  • Referenced in 1 article [sw16334]
  • CMPL ( Mathematical Programming Language) is a...
  • Coq

  • Referenced in 1112 articles [sw00161]
  • Coq is a formal proof management system. It...
  • COWS

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

  • Referenced in 26 articles [sw08981]
  • Curry: a truly functional logic language. Functional and...