• ACL2

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

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

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

  • Referenced in 58 articles [sw01165]
  • APL (named after the book A Programming Language...
  • AUTOSIM

  • Referenced in 7 articles [sw01171]
  • AUTOSIM: A computer language for representing multibody systems...
  • FORMAC

  • Referenced in 43 articles [sw01193]
  • FORMAC, acronym of FORmula MAnipulation Compiler, was an...
  • ML

  • Referenced in 460 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALDOR

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

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

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

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

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

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

  • Referenced in 123 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 160 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...