Home Home Uni Bielefeld BiBiServ Practical Computer Science Technische Fakultaet Home Applications Education Advanced Compiler HMM Literature Team
Kopfgrafik
Navigation

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:

  1. Basic compilation of ADP programs to C
  2. Translation of ADP programs to optimized ADP
  3. 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:
  1. 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.


| Author: psteffen | Date: 2008/02/22 15:50:51 |