Results 1 to 20 of 247
Sort by:

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

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

  • R
  • Referenced in 5124 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 158 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 46 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...

  • Smalltalk
  • Referenced in 120 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...