Results 1 to 20 of 1770
Sort by:

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

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

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

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

  • ML

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

  • Mizar
  • Referenced in 505 articles [sw04704]
  • coded in Pascal using the Free Pascal compiler...

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

  • OCaml
  • Referenced in 273 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 366 articles [sw16451]
  • software development system that includes a compiler and an integrated development environment...

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

  • CSDP
  • Referenced in 202 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...

  • Modula
  • Referenced in 197 articles [sw01224]
  • most important the University of York Modula compiler and a compiler developed at Philips Laboratories...

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

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

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

  • Esterel
  • Referenced in 166 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 230 articles [sw04732]
  • toolbox offers a broad spectrum of algorithms compiled in a user friendly and accessible format...

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

  • GHC
  • Referenced in 103 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...

  • AXIOM
  • Referenced in 173 articles [sw00063]
  • programming language and a built-in compiler...