-
ACL2
- Referenced in 236 articles
[sw00060]
- ACL2 is both a programming language in which...
-
Coq
- Referenced in 1306 articles
[sw00161]
- Coq is a formal proof management system. It...
-
R
- Referenced in 4473 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...
-
ALGOL 68
- Referenced in 213 articles
[sw01226]
- ALGOL 68 (short for ALGOrithmic Language 1968) is...
-
CLEAN
- Referenced in 53 articles
[sw01346]
- Clean is a functional language based on Term...
-
mCRL2
- Referenced in 45 articles
[sw01496]
- mCRL2 stands for micro Common Representation Language 2...
-
Smalltalk
- Referenced in 117 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 29 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...
-
Visual C++
- Referenced in 78 articles
[sw03519]
- Microsoft Visual C++ (often abbreviated as MSVC or...
-
Haskell
- Referenced in 639 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
