-
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...