• CeTA

  • Referenced in 42 articles [sw06584]
  • that technique as it occurs in the generated proofs. Moreover, if a proof ... displayed. Finally, we used Isabelle’s code generation facilities to generate a highly efficient...
  • CompCert

  • Referenced in 42 articles [sw09737]
  • mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed ... ANSI C language, generating efficient code for the PowerPC, ARM and x86 processors...
  • DistMesh

  • Referenced in 238 articles [sw12766]
  • Simple Mesh Generator in MATLAB. Creating a mesh is the first step in a wide ... offer a short and simple MATLAB code, described in more detail than usual...
  • FFC

  • Referenced in 28 articles [sw11185]
  • features of FEniCS is automated code generation for the general and efficient 7018 solution ... finite element variational problems. This automated code generation relies on a form 7019 compiler ... offline or just-in-time compilation of code for individual forms. Two different form...
  • FLASH

  • Referenced in 55 articles [sw17500]
  • FLASH: An adaptive mesh hydrodynamics code for modeling astrophysical thermonuclear flashes. We report ... first version of a new-generation simulation code, FLASH. The FLASH code solves the fully...
  • ADIC

  • Referenced in 80 articles [sw03392]
  • dependent and independent variables, ADIC generates an augmented C code that computes the partial derivatives...
  • SMS

  • Referenced in 29 articles [sw01085]
  • Automatic generation of finite-element code by simultaneous optimization of expressions. The paper presents ... needed in nonlinear finite element analysis. Symbolic generation of the characteristic arrays of nonlinear finite ... compiled language (FORTRAN or C). The generated code is then incorporated into an existing finite...
  • CLAWPACK

  • Referenced in 125 articles [sw01069]
  • this book were generated using Clawpack and the source code for each can be found...
  • darch

  • Referenced in 223 articles [sw11086]
  • Matlab Code for deep belief nets : last visit: 01.08.2013). This package is for generating neural...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate ... other tasks, such as code generation and operational semantics specification...
  • GENTRAN

  • Referenced in 19 articles [sw04299]
  • GENTRAN is an automatic code GENerator and TRANslator which runs under REDUCE and VAXIMA ... Formatted FORTRAN, RATFOR or C code can be generated through a series of interactive commands ... facilitate recursive invocation of the whole code generation process. GENTRAN provides the flexibility necessary ... handle most code generation applications. This manual describes usage of the GENTRAN package for REDUCE...
  • Eden

  • Referenced in 29 articles [sw22186]
  • step further and present the imperative code generated for Eden expressions and how this code...
  • Gaigen

  • Referenced in 32 articles [sw04958]
  • geometric algebras. It generates C++ and C source code which implements a geometric algebra requested ... choice to create a program which generates implementations of these algebras was made because ... wanted performance similar to optimized hand-written code, while maintaining full generality; for (scientific) research ... hand, Gaigen provides the possibility to generate the code for exactly the geometric algebra...
  • DART

  • Referenced in 68 articles [sw07260]
  • external environment using static source-code parsing; (2) automatic generation of a test driver ... program behaves under random testing and automatic generation of new test inputs to direct systematically ... write any test driver or harness code. During testing, DART detects standard errors such...
  • ABACUS

  • Referenced in 115 articles [sw02948]
  • plane and column generation within one algorithm framework. Simple reuse of code and the design...
  • CVT

  • Referenced in 15 articles [sw09952]
  • target code produced by a code-generator (equivalently, a compiler or a translator ... full formal verification of the code-generator program, and has the advantage of not “freezing ... code generator design after verification. CVT was developed in the context of the ESPRIT project...
  • JastAdd

  • Referenced in 23 articles [sw01700]
  • aspects, e.g. name analysis, type checking, code generation, etc., that are woven together into classes...
  • MKL

  • Referenced in 108 articles [sw06975]
  • that the code you write today will run optimally on future generations of Intel processors ... future processor architectures by selecting the best code path for each...
  • MizarMode

  • Referenced in 17 articles [sw01973]
  • proof development by a number of “code-generating”, “code-browsing” and “code-searching” methods ... tools now include, e.g., the automated generation of proof skeletons, semantic browsing of the articles...