
Bandera
 Referenced in 134 articles
[sw07663]
 integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... temporal specification language, and it generates a program model and specification in the input language...

Stratego
 Referenced in 78 articles
[sw01259]
 language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic...

libMC
 Referenced in 47 articles
[sw06615]
 operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient ... calculation tasks. Although less efficient than program transformation, it is worth pointing out that...

CiaoPP
 Referenced in 45 articles
[sw12089]
 sourcetosource transformation tasks on (Ciao) Prolog programs. These tasks include: Inference of properties ... Several kinds of source to source program transformations such as program specialization, slicing, partial evaluation...

CIL
 Referenced in 36 articles
[sw26691]
 tools for analysis and transformation of C programs. This paper describes the C Intermediate Language ... analysis and sourcetosource transformation of C programs. Compared to C, CIL has fewer ... most confusing for program analysis and transformation. We also describe a wholeprogram merger based ... representative application of CIL, we show a transformation aimed at making code immune to stack...

LUSTRE
 Referenced in 38 articles
[sw08938]
 program. Formal rules for program transformation are also presented...

JAX
 Referenced in 29 articles
[sw32996]
 composable transformations of Python+NumPy programs. Composable transformations of Python+NumPy programs: differentiate, vectorize...

PAG
 Referenced in 21 articles
[sw00669]
 compilers have to perform efficiency increasing program transformations. These transformations usually depend on preceding program...

GloptiPoly
 Referenced in 329 articles
[sw04343]
 possibly after some transformation) of the GPM with polynomial data.The approach is similar to that ... build up a hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations...

CESAR
 Referenced in 161 articles
[sw08510]
 iteratively as fixed points of monotonic predicate transformers. The verification of a system consists ... obtaining by automatic translation of its description program an Interpreted Petri Net representing...

DiaGen
 Referenced in 28 articles
[sw10321]
 diagram editor generator based on hypergraph transformation. Diagram editors which are tailored to a specific ... syntaxdirected editing is realized by programmed hypergraph transformation of these internal hypergraphs. This approach...

CVXGEN
 Referenced in 44 articles
[sw07151]
 problem families that can be transformed, using disciplined convex programming techniques, to convex quadratic programs...

WSDFU
 Referenced in 9 articles
[sw02362]
 WSDFU: Program transformation system based on generalized partial computation. Generalized Partial Computation ... program transformation method utilizing partial information about input data and auxiliary functions as well ... logical structure of a source program. GPC uses both an inference engine such ... paper demonstrates the power of the program transformation system as well as its theorem prover...

OpenAD/F
 Referenced in 24 articles
[sw09380]
 derivatives of functions defined by a Fortran program. The derivative evaluation is performed ... resulting from the analysis and transformation of the original program that defines the function ... open source components. While the code transformation follows the basic principles of automatic differentiation...

Jakarta
 Referenced in 18 articles
[sw01269]
 readable executable specifications; the JaKarTa Transformation Kit (JTK), a program to manipulate and transform...

MINLPLib
 Referenced in 100 articles
[sw06172]
 test models for mixedinteger nonlinear programming. Because there is no standard format for nonlinear ... augmented with a translation server that can transform the models from their basic GAMS format...

GrGen
 Referenced in 21 articles
[sw00387]
 GrGen.NET is a programming tool for graph transformation, which eases the transformation of complex graph ... model transformation, computer linguistics, or modern compiler construction, comparable to other programming tools like parser...

ADAPT
 Referenced in 6 articles
[sw29918]
 ADAPT: Automated Decoupled Adaptive Program Transformation. Dynamic program optimization offers performance improvements far beyond ... optimization, ADAPT (Automated Decoupled Adaptive Program Transformation), that builds on the strengths of existing ... allows code generation to occur concurrently with program execution, removing dynamic compilation overheads from...

leanTAP
 Referenced in 41 articles
[sw09985]
 correspondence between the sequent calculus and the program leanTAP is evident, this in turn constitutes ... Then, the author transforms the sequent calculus back into a Prolog program. Doing this...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 inference that is based on a program transformation that translates a probabilistic program into...