• LISP

  • Referenced in 126 articles [sw07201]
  • historically, LISP) is a family of computer programming languages with a long history ... second-oldest high-level 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...
  • JavaScript

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

  • Referenced in 293 articles [sw00646]
  • high-level 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 251 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 185 articles [sw13461]
  • UNITY. We evaluate UNITY -- a computational model, specification language and proof system defined by Chandy...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • both a programming language in which you can model computer systems and a tool...
  • CoCoA

  • Referenced in 634 articles [sw00143]
  • rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution ... enhanced by the dedicated high-level 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 8-bit home computers...
  • PASCAL-XSC

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

  • Referenced in 406 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 48 articles [sw04216]
  • ACSL (pronounced ”axle”), is a computer language designed for modelling and evaluating the performance...
  • Smalltalk

  • Referenced in 190 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...
  • GeoGebra

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

  • Referenced in 594 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 266 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...
  • FeynCalc

  • Referenced in 58 articles [sw07022]
  • package is written in the computer algebra languages Macsyma as well as Mathematica allowing...
  • Pascal-SC

  • Referenced in 30 articles [sw30417]
  • Pascal-SC. A computer language for scientific computation. Pascal-SC is a programming language developed ... book explains the details of the new language elements of Pascal-SC, 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...