• Ott

  • Referenced in 31 articles [sw00663]
  • metalanguage for specifying binding structures; and (3) compilation to proof assistant code. This has been ... work routinely, without heroic effort, with rigorous semantic definitions of realistic languages...
  • RiCaSi

  • Referenced in 1 article [sw41621]
  • RiCaSi: rigorous cache side channel mitigation via selective circuit compilation. Cache side channels constitute...
  • DisCo

  • Referenced in 7 articles [sw10393]
  • formal specifications and enable the use of rigorous techniques in industrial projects. In this paper ... safety properties. The toolset currently includes a compiler, a graphical animation tool, and a scenario...
  • SimFlex

  • Referenced in 3 articles [sw20591]
  • framework which uses component-based design and rigorous statistical sampling to enable development of complex ... lies in its combination of a unique, compile-time approach to component interconnection...
  • Lem

  • Referenced in 4 articles [sw09395]
  • remarkable successes in rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi ... design, and implementation of transformations - akin to compilation, but subject to the constraint of producing...
  • ACVS

  • Referenced in 1 article [sw28507]
  • subset of CVSA, Perennial’s C Compiler Validation Suite, is uniquely recognized by both ... ACVS release. ACVS is the most rigorously and thoroughly reviewed C validation suite available...
  • RANGER-DTL

  • Referenced in 1 article [sw34144]
  • RANGER-DTL 2.0: rigorous reconstruction of gene-family evolution by duplication, transfer and loss. Summary ... Python. Availability and implementation: Pre-compiled executables, source code (open-source under...
  • Livarh

  • Referenced in 2 articles [sw31778]
  • live variables from data-flow analysis in compiler theory and redesign the algorithm with close ... used operator overloading based AD software tool. Rigorous complexity analyses for the algorithms are provided...
  • Livarhacc

  • Referenced in 2 articles [sw31779]
  • live variables from data-flow analysis in compiler theory and redesign the algorithm with close ... used operator overloading based AD software tool. Rigorous complexity analyses for the algorithms are provided...
  • FPTuner

  • Referenced in 1 article [sw21697]
  • FPTuner is a rigorous tool for automatic precision-tuning of real valued expressions. FPTuner generates ... same precision allocation. Doing so encourages the compiler to do vectorization. For further details...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...