The compilation of a program from an object/source language to linkable or executable target code is generally accompanied by transformation processes. The generic tools or components of environments which accomplish this phased restructuring as a semantic aspect of program generation or for the sake of program optimization, are included in this subcategory.
More information
More information
Subcategories 1
Related categories 3
Sites 9
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.
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]
A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encoding rules.
Reference implementation of the ooc language, a higher-level Java/C#, strictly typed, portable, object-oriented superset of C and generating pure C99 code for speed and size.
Spoon is a Java program processor that fully supports Java 5. It provides a complete and fine-grained Java metamodel where any program element (classes, methods, fields, statements, expressions...) can be accessed both for reading and modification.
A modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. Free software.
A Pattern matching transformation system.
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.
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
A modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. Free software.
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.
Reference implementation of the ooc language, a higher-level Java/C#, strictly typed, portable, object-oriented superset of C and generating pure C99 code for speed and size.
A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encoding rules.
Spoon is a Java program processor that fully supports Java 5. It provides a complete and fine-grained Java metamodel where any program element (classes, methods, fields, statements, expressions...) can be accessed both for reading and modification.
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]
A Pattern matching transformation system.
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
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.
