• Python

  • Referenced in 1195 articles [sw14460]
  • level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... code than would be possible in languages such as C++ or Java. The language provides...
  • R

  • Referenced in 7694 articles [sw00771]
  • techniques, and is highly extensible. The S language is often the vehicle of choice ... strengths is the ease with which well-designed publication-quality plots can be produced, including...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • standardized, object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author ... Construction) and Eiffel Software. The design of the language is closely connected with the Eiffel ... based on a set of principles, including design by contract, command-query separation, the uniform ... Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process...
  • Automath

  • Referenced in 398 articles [sw07127]
  • Automath is a language designed by N.G. the Bruijn in the late sixties in order...
  • ALGOL 68

  • Referenced in 285 articles [sw01226]
  • successor to the ALGOL 60 programming language, designed with the goal of a much wider ... they had reappeared in subsequently developed programming languages...
  • COBOL

  • Referenced in 225 articles [sw01228]
  • compiled English-like computer programming language designed for business use. It is imperative, procedural ... migrated to new platforms, rewritten in modern languages or replaced with software packages.[6] Most...
  • PL/I

  • Referenced in 169 articles [sw25845]
  • procedural, imperative computer programming language designed for scientific, engineering, business and system programming uses...
  • Julia

  • Referenced in 212 articles [sw13986]
  • presents Julia, a new dynamic language for technical computing, designed for performance from the beginning ... adapting and extending modern programming language techniques. A design based on generic functions...
  • Magma

  • Referenced in 2720 articles [sw00540]
  • Magma also supports a number of databases designed to aid computational research in those areas ... help introduce new users to the Magma language. Magma is distributed by the Computational Algebra...
  • QRM

  • Referenced in 609 articles [sw11358]
  • language Code to Examine Quantitative Risk Management Concepts. This package is designed to accompany...
  • LARCH

  • Referenced in 87 articles [sw02126]
  • written in two languages: one language that is designed for a specific programming language ... particular programming language. Larch interface languages have been designed for a variety of programming languages...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... accessible to the designer of an application. The strategy language offers primitives for sequential composition...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • hardware design what the first high-level programming languages were ... programming CPUs. Unlike many other design languages that target a specific architecture Handel ... compiled to a number of design languages and then synthesised to the corresponding hardware. This ... than the idiosyncrasies of a specific design language and architecture...
  • Isar

  • Referenced in 138 articles [sw04599]
  • work. The Isar formal proof language has been designed to satisfy quite contradictory requirements, being ... system offers Isar as an alternative proof language interface layer, beyond traditional tactic scripts...
  • LCF

  • Referenced in 157 articles [sw08360]
  • theorem proving, but he also designed the ML programming language underlying it and the innovative ... still in use today, and the design of the hardware veri¯cation system...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • their input languages for their hardware/software co-design system...
  • KLAIM

  • Referenced in 69 articles [sw09424]
  • investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM ... manipulated like any other data), but the language provides coordination mechanisms to control the interaction ... useful for discussing the design of the language and provides guidelines for implementations. KLAIM...
  • ACSL

  • Referenced in 46 articles [sw04216]
  • ACSL (pronounced ”axle”), is a computer language designed for modelling and evaluating the performance ... Continuous System Simulation Language (CSSL), originally designed by the Simulations Council...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • Fortran-like programming language designed for the development of self-validating numerical algorithms. Such algorithms ... extension of FORTRAN 77. Various language concepts which are available in a ACRITH ... Other ACRITH-XSC features have been specifically designed for numerical purposes: numeric constant and data ... algorithms to attain high accuracy.\parThe main language features and numerical tools of ACRITH...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional programming ... flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited...