
CiaoPP
 Referenced in 41 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 36 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...

ADiGator
 Referenced in 13 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...

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

Bandera
 Referenced in 134 articles
[sw07663]
 analysis, transformation, and visualization components designed to facilitate experimentation with modelchecking Java source code...

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

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

HYST
 Referenced in 8 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...

ADIC2
 Referenced in 7 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...

Jupyter
 Referenced in 75 articles
[sw21266]
 Jupyter Notebook is an opensource web application that allows you to create and share ... explanatory text. Uses include: data cleaning and transformation, numerical simulation, statistical modeling, machine learning...

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

CCFinder
 Referenced in 16 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...

ScaLAPACK
 Referenced in 408 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...

Sigma*
 Referenced in 11 articles
[sw21731]
 overapproximate program behavior, Sigma* transforms arbitrary source representation of programs into faithful inputoutput...

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...

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...

PLuTo
 Referenced in 4 articles
[sw09621]
 fully automatic polyhedral sourcetosource transformation framework that can optimize regular programs (sequences...