Alma
Multi-language software workshop for modeling, analyzing. Reads several languages, and outputs. Designed for object-oriented modeling (definition of classes and relations) and for migrating (to help convert) old code in older languages. Meets 2 needs: have a simplified software modeling workshop for small projects; make easier rewritings, ports, encapsulating non-OO code.
CCured source-to-source C translator
CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch.
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.
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]
Program-Transformation.Org
Providing a full range of information on program transformation, the site includes an online survey of the field and is updateable by visitors as featured by the concept of WikiWikiWeb.
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.
Tom
A Pattern matching transformation system.
Tom : A pattern matching compiler, the wiki
The Wiki for the Tom programming language, developped at Loria by the Protheo team.
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.
TXL Source Transformation System
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
Alma
Multi-language software workshop for modeling, analyzing. Reads several languages, and outputs. Designed for object-oriented modeling (definition of classes and relations) and for migrating (to help convert) old code in older languages. Meets 2 needs: have a simplified software modeling workshop for small projects; make easier rewritings, ports, encapsulating non-OO code.
CCured source-to-source C translator
CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch.
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.
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]
Program-Transformation.Org
Providing a full range of information on program transformation, the site includes an online survey of the field and is updateable by visitors as featured by the concept of WikiWikiWeb.
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.
Tom
A Pattern matching transformation system.
Tom : A pattern matching compiler, the wiki
The Wiki for the Tom programming language, developped at Loria by the Protheo team.
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.
TXL Source Transformation System
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
Results: 1 2 3 Next
Site
Menu 
