- Alma
Object-oriented modelling and code migration between languages. [Open Source, GPL]
http://www.desnoix.com/guillaume/alma/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- CCured
Source-to-source translator for C, which analyzes the program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.
http://manju.cs.berkeley.edu/ccured/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Cross Module Inliner
CMI is an optimizing frontend for gcc which allows gcc to inline across module boundaries without requiring you to put inline functions in header files or even mark inline functions for inlining.
http://www.cs.utah.edu/flux/alchemy/cmi.html
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- DMS Software Reengineering Toolkit
Generalized compiler technology for custom parsing, analyzing, transforming, and prettyprinting computer languages, including C, C++, COBOL, Ada, Java, C#, SQL. Tasks range from metrics to migrations. [Commercial]
http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Stratego (Strategies for Program Transformation)
A modular language for the specificat ion of fully automatic program transformation systems based on the paradigm of rewriting strategies. Free software.
http://www.stratego-language.org/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Tom
A Pattern matching transformation system.
http://tom.loria.fr/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Tom : A pattern matching compiler, the wiki
The Wiki for the Tom programming language, developped at Loria by the Protheo team.
http://protheo.loria.fr/confluence/display/Tom/Home
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Trimaran
An "integrated compilation and performance monitoring infrastructure", facilitating compiler-optimization research and involves a collaborative effort by Hewlett Packard, University of Illinois and New York University.
http://www.trimaran.org/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- TXL Source Transformation System
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
http://www.cs.queensu.ca/~cordy/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
|
|