
LISP
 Referenced in 126 articles
[sw07201]
 historically, LISP) is a family of computer programming languages with a long history ... secondoldest highlevel programming language in widespread use today; only Fortran is older ... created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo ... earliest programming languages, Lisp pioneered many ideas in computer science, including tree data structures, automatic...

Octave
 Referenced in 283 articles
[sw00646]
 highlevel language, primarily intended for numerical computations. It provides a convenient command line interface ... performing other numerical experiments using a language that is mostly compatible with Matlab...

DYNAMO
 Referenced in 250 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system ... M.I.T. Computation Center.[9] The earliest versions were written in assembly language ... Originally designed for batch processing on mainframe computers, it was made available on minicomputers ... Dynamo” on personal computers in the early 1980s.[15] The language went through several revisions...

UNITY
 Referenced in 184 articles
[sw13461]
 UNITY. We evaluate UNITY  a computational model, specification language and proof system defined by Chandy...

ACL2
 Referenced in 277 articles
[sw00060]
 both a programming language in which you can model computer systems and a tool...

CoCoA
 Referenced in 621 articles
[sw00143]
 rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution ... enhanced by the dedicated highlevel programming language. For convenience, the system offers a textual ... graphical user interface common to most platforms. Computer algebra system...

Isabelle/ZF
 Referenced in 62 articles
[sw04973]
 formulas to be expressed in a formal language and provides tools for proving those formulas ... verification, which includes proving the correctness of computer hardware ... software and proving properties of computer languages and protocols. Isabelle/ZF formalizes the greater part ... theories of lists, trees, etc., for formalizing computational notions. It supports inductive definitions of infinite...

KLAIM
 Referenced in 71 articles
[sw09424]
 designing a kernel programming language for mobile computing and describe KLAIM, a language that supports ... moved from one computing environment to another. The language consists of a core Linda with...

COMAL
 Referenced in 55 articles
[sw30775]
 COMAL (Common Algorithmic Language) is a computer programming language developed in Denmark by Benedict Løfstedt ... programming languages that was available for and comfortably usable on 8bit home computers...

PASCALXSC
 Referenced in 103 articles
[sw18863]
 PASCAL for Extended Scientific Computing. The programming language PASCALXSC was developed to supply ... based upon a properly defined and implemented computer arithmetic in the usual spaces of numerical...

Automath
 Referenced in 403 articles
[sw07127]
 Automath is a language designed by N.G. the Bruijn in the late sixties in order ... represent mathematical proof in the computer. It’s the direct ancestor of the ”type theoretical...

ACSL
 Referenced in 47 articles
[sw04216]
 ACSL (pronounced ”axle”), is a computer language designed for modelling and evaluating the performance...

Smalltalk
 Referenced in 189 articles
[sw01561]
 created as the language to underpin the ”new world” of computing exemplified by ”human–computer ... Wallace, and others during the 1970s. The language was first generally released as Smalltalk...

JavaScript
 Referenced in 71 articles
[sw06868]
 JavaScript is a scripting language for computers. It is often run in web browser applications ... different from the programming language Java...

GeoGebra
 Referenced in 328 articles
[sw04203]
 languages for our millions of users around the world. Free and open source software. Computer...

AMPL
 Referenced in 582 articles
[sw04001]
 comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete ... optimization models and examine solutions, while the computer manages communication with an appropriate solver. AMPL...

Rapide
 Referenced in 38 articles
[sw01249]
 based upon a new generation of computer languages, called Executable Architecture Definition Languages (EADLs...

PERL
 Referenced in 261 articles
[sw01225]
 with difficulty) by programming in the C language or one of the shells. While this ... systems, and provides a portable model of computing across diverse architectures. (wikipedia...

PascalSC
 Referenced in 30 articles
[sw30417]
 PascalSC. A computer language for scientific computation. PascalSC is a programming language developed ... book explains the details of the new language elements of PascalSC, illustrated by examples ... presents the basic fundamentals of the new computer arithmetic, and shows how the tools provided ... difference, it was considered important that the language for both systems be as identical...

FeynCalc
 Referenced in 55 articles
[sw07022]
 package is written in the computer algebra languages Macsyma as well as Mathematica allowing...