• ACL2

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

• Coq

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

• R

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

• APL

• Referenced in 74 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 45 articles [sw01193]
• FORMAC, acronym of FORmula MAnipulation Compiler, was an...

• ML

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

• ALDOR

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

• PERL

• Referenced in 262 articles [sw01225]
• Programming Perl. Perl is a language for easily...

• ALGOL 68

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

• Stratego

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

• CLEAN

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

• mCRL2

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

• Smalltalk

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

• CASL

• Referenced in 172 articles [sw02235]
• The specification language developed by CoFI is called...

• SALSA

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