Compiler
Construction
Kits
Lexer and Parser
Generators
Trees and
Transformation
Attribute Grammar
Systems
Backend
Generators
Program Analysis
and Optimisation
Environment
Generators
Tools, Frameworks,
Infrastructure
Compiler
Construction
with Java
|
-
BANE
-
BANE, the Berkeley ANalysis Engine, is a toolkit for
constructing program analyses such as dataflow and type inference systems.
BANE is constraint-based, meaning that analyses are formulated
as systems of constraints generated from the
program text. Constraint resolution (i.e., solving the constraints)
computes the desired information.
MORE ...
-
FIRM OPTIMIZER
-
An optimizer based on the intermediate language Firm.
Optimizations include
constant folding, expression normalization,
scalar copy propagation, scalar redundant store elimination,
global code motion (subsumes global CSE, loop invariant hoisting,
and partial redundancies), inlining and dead code elimination.
Uses SSA to represent data flow.
MORE ...
-
OMEGA
-
Frameworks and algorithms for the analysis and transformation
of scientific programs
MORE ...
-
OPTIMIX
-
OPTIMIX is an optimizer generator.
It can be used to generate program analyses and transformations.
Its input language is based on DATALOG and graph rewriting.
MORE ...
-
PAG
-
The PAG program analyzer generator supports the implementation of static
program analyzers. PAG generates efficient data flow analyzers from concise
specifications.
MORE ...
COPYRIGHT © 1996-2006
GERMAN NATIONAL RESEARCH CENTER FOR INFORMATION TECHNOLOGY
FRAUNHOFER INSTITUTE FOR COMPUTER ARCHITECTURE AND SOFTWARE TECHNOLOGY
|
