• CiaoPP

  • Referenced in 40 articles [sw12089]
  • program debugging, analysis, and source-to-source transformation tasks on (Ciao) Prolog programs. These tasks ... program. Several kinds of source to source program transformations such as program specialization, slicing, partial...
  • CIL

  • Referenced in 32 articles [sw26691]
  • intermediate language and tools for analysis and transformation of C programs. This paper describes ... permit easy analysis and source-to-source transformation of C programs. Compared ... form that resembles the original source. Moreover, it comes with a front-end that translates ... most confusing for program analysis and transformation. We also describe a whole-program merger based...
  • ADiMat

  • Referenced in 18 articles [sw06647]
  • ADiMat is based on a source transformation approach. That is, it transforms a given MATLAB...
  • Bandera

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

  • Referenced in 15 articles [sw11319]
  • source transformation language. TXL is a special-purpose programming language designed for creating, manipulating...
  • TAF

  • Referenced in 76 articles [sw07492]
  • Tool: TAF Transformation of Algorithms in Fortran (TAF) is a source-to-source AD-tool...
  • ADiGator

  • Referenced in 8 articles [sw19688]
  • mathematical functions in MATLAB using source transformation via operator overloading. A toolbox called ADiGator ... mathematical functions in MATLAB. ADiGator performs source transformation via operator overloading using forward mode algorithmic ... input and output to the algorithm are source codes, the algorithm may be applied recursively...
  • ADIC2

  • Referenced in 6 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...
  • OpenAD/F

  • Referenced in 18 articles [sw09380]
  • OpenAD/F: A modular open-source tool for automatic differentiation of Fortran codes. The Open/ADF tool ... Fortran code resulting from the analysis and transformation of the original program that defines ... open source components. While the code transformation follows the basic principles of automatic differentiation...
  • HYST

  • Referenced in 4 articles [sw20137]
  • HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models. A number of powerful ... paper, we present HYST, a HYbrid Source Transformer. HYST is a source-to-source translation ... tool supports generic model-to-model transformation passes that serve to both ease the translation ... supported tools. Although these model transformation passes could be implemented within each tool, the HYST...
  • ScaLAPACK

  • Referenced in 380 articles [sw00830]
  • problems, orthogonal and generalized orthogonal factorizations, orthogonal transformation routines, reductions to upper Hessenberg, bidiagonal and tridiagonal ... version of the ScaLAPACK Users’ Guide, the source code for the package, testing and timing...
  • ADiCape

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

  • Referenced in 4 articles [sw09695]
  • extensible compiler infrastructure for source-to-source transformation. Cetus is a compiler infrastructure ... source-to-source transformation of programs. We created Cetus out of the need...
  • CCFinder

  • Referenced in 13 articles [sw09683]
  • code clone is a code portion in source files that is identical or similar ... technique, which consists of the transformation of input source text and a token-by-token...
  • DLog

  • Referenced in 7 articles [sw09839]
  • program under the unique name assumption. This transformation is performed with no knowledge about particular ... directly on top of existing information sources. The transformation process consists of two steps...
  • 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...
  • CodeBoost

  • Referenced in 4 articles [sw09231]
  • tool for source-to-source transformation and optimisation of C++ programs. It is intended...
  • RefactorErl

  • Referenced in 4 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...
  • CHRAnimation

  • Referenced in 3 articles [sw18637]
  • platform for CHR using source-to-source transformation. It also provides a new visualization feature...
  • 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...