 |
Verifix:
Correct Compilers. ( Verifix
Kiel ) (1995 -
). DFG. German joint project on Correct Compilers (Univ. Karlsruhe, Univ.
Kiel, Univ. Ulm). |
|
|
|
VIM:
A Virtual Multicomputer for Symbolic Applications. (1994
- 1997). Research Network, EU Human Capability
and Mobility Programme (HCM) |
|
|
|
ProCoS
:
Provably Correct Systems I and II. (1989-1995).
EU Esprit Basic Research Activity (BRA) |
|
|
|
APPLY:
A Practical and Portable Lisp Implementation. (1991-1994).
BMFT. German joint project on Lisp (Fraunhofer ISST, VW-Gedas, GMD, Univ.
Kiel), |
|
|
|
BABYLON:
Knowledge Base Compilation. (1985-1990).
Industrial cooperation with Dr.-Ing. Rudolf HELL GmbH Kiel (now Heidelberger
Druckmaschinen, Kiel) |
|
|
 |
Software:
CLiCC: The Common Lisp to C Compiler. |
|
|
|
Software:
BCLiC: The BABYLON to Common Lisp Compiler. |
|
|