
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 74 articles
[sw01259]
 language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic...

libMC
 Referenced in 44 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 41 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...

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

GloptiPoly
 Referenced in 301 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 157 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...

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

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

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

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

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

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

leanTAP
 Referenced in 38 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...

TyPiCal
 Referenced in 8 articles
[sw23207]
 provides the following program analyses or program transformations: lockfreedom analysis, deadlockfreedom analysis, useless ... following questions about the behavior of concurrent/distributed programs: Does the server eventually accept every request...

SUPERB
 Referenced in 20 articles
[sw07276]
 system for the semiautomatic transformation of FORTRAN 77 programs into parallel programs ... catalog of MIMD and SIMD parallelization transformations, and a flexible dialog facility. It contains specific...