• ACL2

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

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

  • Referenced in 3313 articles [sw00771]
  • R is a language and environment for statistical...
  • AUTOSIM

  • Referenced in 7 articles [sw01171]
  • AUTOSIM: A computer language for representing multibody systems...
  • 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...
  • CLEAN

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

  • Referenced in 114 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • A logical language, SeqLog, for mining and querying...
  • PALM

  • Referenced in 1 article [sw02095]
  • PALM. Practical approach to a language for modeling...
  • MLOG

  • Referenced in 2 articles [sw02152]
  • MLOG: A strongly typed confluent functional language with...
  • GOLOG

  • Referenced in 154 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SALSA

  • Referenced in 28 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique...
  • HYPROLOG

  • Referenced in 13 articles [sw02743]
  • HYPROLOG: A new logic programming language with assumptions...
  • BABEL

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

  • Referenced in 400 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Eiffel

  • Referenced in 82 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AMPL

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