• ACL2

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

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

  • Referenced in 4888 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 22 articles [sw01220]
  • Aldor is a programming language with an expressive...
  • PERL

  • Referenced in 154 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • ALGOL 68

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

  • Referenced in 64 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • CLEAN

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

  • Referenced in 45 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • Smalltalk

  • Referenced in 118 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 159 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SALSA

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

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

  • Referenced in 14 articles [sw02784]
  • A logic system that integrates First Order Logic...
  • BABEL

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