- Referenced in 281 articles
- ACL2 is both a programming language in which...
- Referenced in 1837 articles
- Coq is a formal proof management system. It...
- Referenced in 8904 articles
- R is a language and environment for statistical...
- Referenced in 77 articles
- APL (named after the book A Programming Language...
- Referenced in 7 articles
- AUTOSIM: A computer language for representing multibody systems...
- Referenced in 45 articles
- FORMAC, acronym of FORmula MAnipulation Compiler, was an...
- Referenced in 517 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 27 articles
- Aldor is a programming language with an expressive...
- Referenced in 268 articles
- Programming Perl. Perl is a language for easily...
- Referenced in 291 articles
- ALGOL 68 (short for ALGOrithmic Language 1968) is...
- Referenced in 75 articles
- Stratego/XT is a language and toolset for program...
- Referenced in 58 articles
- Clean is a functional language based on Term...
- Referenced in 52 articles
- mCRL2 stands for micro Common Representation Language 2...
- Referenced in 190 articles
- Smalltalk is an object-oriented, dynamically typed, reflective...
- Referenced in 13 articles
- A logical language, SeqLog, for mining and querying...
- Referenced in 1 article
- PALM. Practical approach to a language for modeling...
- Referenced in 2 articles
- MLOG: A strongly typed confluent functional language with...
- Referenced in 170 articles
- GOLOG: A logic programming language for dynamic domains...
- Referenced in 174 articles
- The specification language developed by CoFI is called...
- Referenced in 30 articles
- Constraint Programming is recognized as an efficient technique...