
CiaoPP
 Referenced in 40 articles
[sw12089]
 program debugging, analysis, and sourcetosource 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 sourcetosource transformation of C programs. Compared ... form that resembles the original source. Moreover, it comes with a frontend that translates ... most confusing for program analysis and transformation. We also describe a wholeprogram 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 modelchecking Java source code...

TXL
 Referenced in 15 articles
[sw11319]
 source transformation language. TXL is a specialpurpose programming language designed for creating, manipulating...

TAF
 Referenced in 76 articles
[sw07492]
 Tool: TAF Transformation of Algorithms in Fortran (TAF) is a sourcetosource ADtool...

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 sourcetosource transformation. ADIC2 is the successor of the ADIC differentiation tool...

OpenAD/F
 Referenced in 18 articles
[sw09380]
 OpenAD/F: A modular opensource 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 sourcetosource translation ... tool supports generic modeltomodel 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 sourcetosource transformation. Cetus is a compiler infrastructure ... sourcetosource 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 tokenbytoken...

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 sourcetosource transformation and optimisation of C++ programs. It is intended...

RefactorErl
 Referenced in 4 articles
[sw13674]
 opensource 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 sourcetosource 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 sourcecode transformation at the push of a button...