• BILUM

  • Referenced in 50 articles [sw04015]
  • BILUM is a set of programs designed for solving general sparse linear systems by using...
  • Mosek

  • Referenced in 509 articles [sw04618]
  • MOSEK can solve are linear programs, quadratic programs, conic problems and mixed integer problems. Such ... portfolio management, Supply chain management, Analog chip design, Forestry and farming, Medical and hospital management...
  • Dafny

  • Referenced in 74 articles [sw00183]
  • functional correctness of programs.The Dafny programming language is designed to support the static verification...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional programming...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... temporal specification language, and it generates a program model and specification in the input language...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • structure and design of the software package PHC is described. The main program operates...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM ... operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class ... operational semantics is useful for discussing the design of the language and provides guidelines ... examples, we show that many mobile code programming paradigms can be naturally implemented...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • others. It is an interactive command-line program written in C/C++, and based ... QEPCAD B version 1.x, the ”B” designating a substantial departure from the original QEPCAD ... SACLIB library are the result of a program of research by George Collins...
  • ALGOL 60

  • Referenced in 669 articles [sw21807]
  • scope. It gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal ... ALGOL 68 committee decided on a design that was more complex and advanced rather than...
  • Modula

  • Referenced in 197 articles [sw01224]
  • language is a descendant of the Pascal programming language. It was developed in Switzerland ... Niklaus Wirth, the same person who designed Pascal. The main innovation of Modula over Pascal ... grouping sets of related declarations into program units; hence the name Modula. The language...
  • Bebop

  • Referenced in 73 articles [sw08928]
  • Symbolic Model Checker for Boolean Programs. We present the design, implementation and empirical evaluation...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • ACRITH-XSC is a Fortran-like programming language designed for the development of self-validating ... Other ACRITH-XSC features have been specifically designed for numerical purposes: numeric constant and data ... noted where appropriate. A complete sample program for computing continuous bounds on the solution...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • level hardware, most commonly used in the programming of FPGAs. It is a rich subset ... parallelism. Handel-C is to hardware design what the first high-level ... programming languages were to programming CPUs. Unlike many other design languages that target a specific ... programming task at hand rather than the idiosyncrasies of a specific design language and architecture...
  • Simula 67

  • Referenced in 137 articles [sw21333]
  • first object-oriented programming language. As its name suggests, Simula was designed for doing simulations...
  • SOFTSUSY

  • Referenced in 80 articles [sw01415]
  • measure of fine-tuning. The program structure has been designed to easily generalize to extensions...
  • XFOIL

  • Referenced in 64 articles [sw18279]
  • XFOIL is an interactive program for the design and analysis of subsonic isolated airfoils...
  • XFEM

  • Referenced in 391 articles [sw01026]
  • object-oriented-enriched finite element code. The programming environment provides a robust tool for extended ... extensible system. The programme structure has been designed to meet all natural requirements for modularity...
  • SATO

  • Referenced in 197 articles [sw04451]
  • programs allowed us to solve over one hundred open quasigroup problems in design theory...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • reactive kernel in a larger program that handles the interface and data manipulations ... their input languages for their hardware/software co-design system...
  • AsmL

  • Referenced in 45 articles [sw11363]
  • used at any stage of the programming process: design, coding, or testing. It is fully...