• Python

  • Referenced in 916 articles [sw14460]
  • emphasizes code readability, and its syntax allows programmers to express concepts in fewer lines...
  • XFEM

  • Referenced in 301 articles [sw01026]
  • modular and extensible system. The programme structure has been designed to meet all natural requirements ... included. The salient features of the programme are: flexibility in the integration schemes (subtriangles, subquadrilaterals...
  • HOL Light

  • Referenced in 258 articles [sw06580]
  • compromising soundness. While retaining this reliability and programmability from earlier HOL systems, HOL Light...
  • GSL

  • Referenced in 199 articles [sw05883]
  • numerical library for C and C++ programmers. It is free software under the GNU General...
  • Cinderella

  • Referenced in 133 articles [sw00127]
  • that allows for fast, flexible and freely programmable interaction scenarios. Although each of the three ... used in a standalone manner, the programm unleashes its full power when all three parts...
  • Xilinx

  • Referenced in 92 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable devices are at the heart of most ... systems today, enabling not only programmable logic design, but programmable systems integration. Xilinx has transformed ... from an FPGA company to an ‘All Programmable’ company, offering technology from logic ... software programmable ARM® processing systems and beyond. Xilinx offers development tools that support programmable platforms...
  • MPFR

  • Referenced in 172 articles [sw03312]
  • France by the Agence de Protection des Programmes under the number IDDN...
  • COBOL

  • Referenced in 163 articles [sw01228]
  • popularity and the retirement of experienced COBOL programmers, programs are being migrated to new platforms...
  • SIMPLIFY

  • Referenced in 131 articles [sw04976]
  • providing practical static checking tools for programmers. In general, static checking finds errors statically, that...
  • PROFIL/BIAS

  • Referenced in 121 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library) is a C++ class library supporting...
  • LISP

  • Referenced in 120 articles [sw07201]
  • rise to the macro systems that allow programmers to create new syntax or even...
  • Spec#

  • Referenced in 115 articles [sw04598]
  • includes constructs for writing specifications that capture programmer intentions about how methods and data...
  • ELAN

  • Referenced in 100 articles [sw02179]
  • part of a strategy language allowing the programmer to specify the control on rules application...
  • Ada95

  • Referenced in 99 articles [sw01753]
  • credited as being the first computer programmer...
  • GHC

  • Referenced in 85 articles [sw06691]
  • order languages such as Haskell encourage the programmer to build abstractions by composing functions...
  • Dafny

  • Referenced in 57 articles [sw00183]
  • part of the compiler. As such, a programmer interacts with it much in the same ... checker—when the tool produces errors, the programmer responds by changing the program’s type...
  • QuickCheck

  • Referenced in 76 articles [sw07277]
  • tool which aids the Haskell programmer in formulating and testing properties of programs. Properties...
  • Stratego

  • Referenced in 72 articles [sw01259]
  • provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application...
  • VBA

  • Referenced in 51 articles [sw18634]
  • most of the programming concepts that professional programmers use; therefore, VBA is a powerful language ... easier for an Excel programmer to do Access VBA programming, Word VBA, or even PowerPoint...