-
ACL2
- Referenced in 155 articles
[sw00060]
- ACL2 is both a programming language in which...
-
Coq
- Referenced in 1159 articles
[sw00161]
- Coq is a formal proof management system. It...
-
R
- Referenced in 3313 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 21 articles
[sw01220]
- Aldor is a programming language with an expressive...
-
ALGOL 68
- Referenced in 55 articles
[sw01226]
- ALGOL 68 (short for ALGOrithmic Language 1968) is...
-
CLEAN
- Referenced in 32 articles
[sw01346]
- Clean is a functional language based on Term...
-
Smalltalk
- Referenced in 114 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 154 articles
[sw02159]
- GOLOG: A logic programming language for dynamic domains...
-
SALSA
- Referenced in 28 articles
[sw02661]
- Constraint Programming is recognized as an efficient technique...
-
HYPROLOG
- Referenced in 13 articles
[sw02743]
- HYPROLOG: A new logic programming language with assumptions...
-
BABEL
- Referenced in 66 articles
[sw03018]
- Logic programming with functions and predicates: The language...
-
Visual C++
- Referenced in 77 articles
[sw03519]
- Microsoft Visual C++ (often abbreviated as MSVC or...
-
Haskell
- Referenced in 400 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
Eiffel
- Referenced in 82 articles
[sw03522]
- Eiffel is an ISO-standardized, object-oriented programming...
-
AMPL
- Referenced in 428 articles
[sw04001]
- AMPL is a comprehensive and powerful algebraic modeling...
