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.
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.
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.
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.
Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.
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.
