• Bandera

  • Referenced in 134 articles [sw07663]
  • transformation, and visualization components designed to facilitate experimentation with model-checking Java source code. Bandera...
  • Jupyter

  • Referenced in 96 articles [sw21266]
  • source web application that allows you to create and share documents that contain live code ... explanatory text. Uses include: data cleaning and transformation, numerical simulation, statistical modeling, machine learning...
  • OpenAD/F

  • Referenced in 24 articles [sw09380]
  • modular open-source tool for automatic differentiation of Fortran codes. The Open/ADF tool allows ... performed by a Fortran code resulting from the analysis and transformation of the original program ... open source components. While the code transformation follows the basic principles of automatic differentiation...
  • TAF

  • Referenced in 85 articles [sw07492]
  • Tool: TAF Transformation of Algorithms in Fortran (TAF) is a source-to-source AD-tool ... sparsity structure of Jacobians. TAF normalizes the code and applies a control flow analysis...
  • ScaLAPACK

  • Referenced in 417 articles [sw00830]
  • problems, orthogonal and generalized orthogonal factorizations, orthogonal transformation routines, reductions to upper Hessenberg, bidiagonal and tridiagonal ... generalized symmetric/Hermitian, and the nonsymmetric eigenproblem. Prototype codes are provided for out-of-core solvers ... version of the ScaLAPACK Users’ Guide, the source code for the package, testing and timing...
  • Tangent

  • Referenced in 4 articles [sw22076]
  • Tangent: Automatic Differentiation Using Source Code Transformation in Python. Automatic differentiation (AD) is an essential ... library that performs AD using source code transformation (SCT) in Python. It takes numeric functions...
  • RefactorErl

  • Referenced in 5 articles [sw13674]
  • open-source static source code analyser and transformer tool for ​Erlang, developed by the Department ... Erlang developers. While this source code analyser and transformer tool is still considered ... tool has a custom Erlang source code analyser and transformer that is capable of handling ... analysis results, and source code layout and comment preservation during transformations. The result of different...
  • TreatJS

  • Referenced in 5 articles [sw19991]
  • modify the application state. No source code transformation or change in the JavaScript run-time...
  • EBayesThresh

  • Referenced in 128 articles [sw11104]
  • Chen, Donoho, Johnstone & Scargle (1995). If wavelet transforms are obtained using other software, the routine ... author’s attention. The entire MATLAB source code, in compressed zip form, is available...
  • ADiMat

  • Referenced in 18 articles [sw06647]
  • source transformation approach. That is, it transforms a given MATLAB code for the evaluation...
  • JTransformer

  • Referenced in 2 articles [sw24654]
  • your own custom analyses and transformations of Java source code. It is available ... JTransformer lets you analyse and transform the full source code of a Java project (even ... program. Transformations of the internal model are propagated to the source code upon explicit request ... Thus model transformation is reflected as source-code transformation at the push of a button...
  • ADiCape

  • Referenced in 6 articles [sw07471]
  • concepts to CapeML codes. The tool uses the source transformation approach to augment CapeML codes...
  • AutoGraph

  • Referenced in 3 articles [sw30957]
  • staged programming in Python, via source code transformation, offers a midpoint between these two library...
  • ADIC2

  • Referenced in 7 articles [sw09622]
  • ADIC2: Development of a component source transformation system for differentiating C and C++. We present ... code through source-to-source transformation. ADIC2 is the successor of the ADIC differentiation tool...
  • CIL

  • Referenced in 36 articles [sw26691]
  • permit easy analysis and source-to-source transformation of C programs. Compared ... than typical intermediate languages (e.g., three-address code) designed for compilation. As a result, what ... form that resembles the original source. Moreover, it comes with a front-end that translates ... show a transformation aimed at making code immune to stack-smashing attacks. We are currently...
  • CiaoPP

  • Referenced in 44 articles [sw12089]
  • program. Several kinds of source to source program transformations such as program specialization, slicing, partial ... system to certify that an untrusted mobile code is safe w.r.t. the given policy...
  • Ultimate

  • Referenced in 2 articles [sw23306]
  • program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyze...
  • modMC

  • Referenced in 2 articles [sw06616]
  • package libMC. Additionally it provides source code transformation based on inliner techniques. If you want...
  • clad

  • Referenced in 1 article [sw26167]
  • rule in forward mode, coupled with source code transformation and AST constant fold. In mathematics ... implementation approach is to employ source code transformation, which consists of explicitly building ... source code through a compiler-like process that includes parsing the original program, constructing ... only provide the necessary facilities for code transformation, but also serves as a basis...
  • CCFinder

  • Referenced in 15 articles [sw09683]
  • portion in source files that is identical or similar to another. Since code clones ... reduce the maintainability of software, several code clone detection techniques and tools have been proposed ... technique, which consists of the transformation of input source text and a token-by-token ... have developed a tool, named CCFinder (Code Clone Finder), which extracts code clones...