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

  • Referenced in 42 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]
  • source-to-source 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...
  • LUSTRE

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

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

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

  • Referenced in 156 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 ... syntax-directed editing is realized by programmed hypergraph transformation of these internal hypergraphs. This approach...
  • GloptiPoly

  • Referenced in 289 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...
  • 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 37 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 21 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 De-coupled Adaptive Program Transformation. Dynamic program optimization offers performance improvements far beyond ... optimization, ADAPT (Automated De-coupled 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: lock-freedom analysis, deadlock-freedom 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 semi-automatic transformation of FORTRAN 77 programs into parallel programs ... catalog of MIMD and SIMD parallelization transformations, and a flexible dialog facility. It contains specific...