Larger Research and Development Projects

• Dietz Computer Systeme (Mülheim):
  Implementation of PASCAL as system implementation language
• Norsk Data (Oslo, Mülheim, Kiel):
  Multi-languages multi-machines compilation-system CAT, based on VDM
• Dr. Hell (Kiel):
  Expert systems for handling of Hell-Scanners; BABYLON-expert system language-compiler
• ITK (Kiel), Nixdorf (Paderborn, Munich):
  Replacement of BASIC-interpreting by compiling
• Siemens (Munich):
  Investigation of instruction profiles
• Philips (Hamburg, Aachen):
  Object-orientation and transaction in operating systems and nets
• VW-Gedas (Berlin):
  Common LISP-compiler CLICC for industrial AI-applications
• 1989 - 95 EU-ESPRIT-Basic Research Activities-Project "Provably Correct Systems - ProCoS" together with Oxford University (C.A.R. Hoare), DTU Lyngby (D. Bjørner, A.P. Ravn), Oldenburg University (E.-R. Olderog)
• since 1995 supraregional DFG-research group "Verified Compilers-Verifix" together with Karlsruhe University (G. Goos), Ulm University (F.W. von Henke)