• Coq

  • Referenced in 1776 articles [sw00161]
  • programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification...
  • CUDA

  • Referenced in 1169 articles [sw03258]
  • accelerated applications. The CUDA Toolkit includes a compiler for NVIDIA GPUs, math libraries, and tools...
  • VRP

  • Referenced in 975 articles [sw05207]
  • study of VRP; we have compiled here a great deal of information about...
  • ML

  • Referenced in 512 articles [sw01218]
  • other formal languages, such as in compiler writing, automated theorem proving and formal verification. (wikipedia...
  • Mizar

  • Referenced in 455 articles [sw04704]
  • coded in Pascal using the Free Pascal compiler...
  • MINOS

  • Referenced in 440 articles [sw05095]
  • machines with a Fortran 66 or 77 compiler and at least 500K bytes of storage...
  • OpenFOAM

  • Referenced in 380 articles [sw04317]
  • numerical methods, meshing, physical models, …) are each compiled into their own shared library. Executable applications...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC ... HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval-print...
  • Turbo Pascal

  • Referenced in 363 articles [sw16451]
  • software development system that includes a compiler and an integrated development environment...
  • PVM

  • Referenced in 305 articles [sw04273]
  • available free thru netlib, has been compiled on everything from laptops to CRAYs. PVM enables...
  • CSDP

  • Referenced in 196 articles [sw00169]
  • constraint matrices. CSDP has been compiled on many different systems. The code should work ... system with an ANSI C Compiler and BLAS/LAPACK libraries...
  • FEAP

  • Referenced in 169 articles [sw04963]
  • full program is available for compilation using Windows (Compaq or Intel compiler), LINUX or UNIX...
  • COBOL

  • Referenced in 227 articles [sw01228]
  • common business-oriented language) is a compiled English-like computer programming language designed for business...
  • Esterel

  • Referenced in 162 articles [sw20012]
  • dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state ... systems and control automata. The Esterel v5 compiler can be used to generate a software...
  • MPT

  • Referenced in 212 articles [sw04732]
  • toolbox offers a broad spectrum of algorithms compiled in a user friendly and accessible format...
  • PHCpack

  • Referenced in 208 articles [sw00705]
  • portability is ensured by the gnu-ada compiler...
  • GHC

  • Referenced in 102 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher-order languages such as Haskell encourage ... build abstractions by composing functions. A good compiler must inline many of these calls ... instance of its body. But any compiler-writer will tell you that inclining ... used in the Glasgow Haskell compiler. We focus mainly on the algorithmic aspects...
  • Dynamics

  • Referenced in 171 articles [sw09100]
  • unless one invests in an additional C compiler, one can not insert new equations...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • programming language and a built-in compiler...
  • Spec#

  • Referenced in 120 articles [sw04598]
  • object-oriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier ... data are to be used, the compiler emits run-time checks to enforce these specifications...