The ADP Compiler
The ADP implementation project aims at the development of a compiler
suite, which compiles ADP programs into C code. This compiler can
concentrate on the specific properties of ADP programs and can
therefore perform a lot more optimizations than a general Haskell
compiler could.
The compiler suite includes tools like a source-to-source
optimization, the generation of dynamic programming recurrences
typeset in LaTeX, and automatic design of the dynamic programming
tables.
Here we present the development status of various components of the
compiler:
- Basic compilation of ADP programs to C
- Translation of ADP programs to optimized ADP
- Production of traditional DP recurrences typeset in LaTeX
Download:
The ADP compiler.
Current version: 0.9 (Feb. 22. 2008)
Copyright (C) 2001-2008 Peter Steffen, Marco Ruether, Christian Lang,
Georg Sauthoff, Stefanie Schirmer.
It can be downloaded in the following distributions:
Older version: 0.8 (Feb. 9. 2007)
Copyright (C) 2001-2007 Peter Steffen, Marco Ruether, Christian Lang,
Georg Sauthoff.
It can be downloaded in the following distributions:
Tools:
- Algebra generator: The
automated algebra generator takes a signature and generates the
algebra type definition, the enumeration algebra, the counting algebra
and the algebra product operation.