Entwicklung eines Systems zur Unterstützung von Programmieraufgaben im linguistischen Bereich. Hierzu gehören auch theoretische Untersuchungen, die die Verwandschaft von formalen Sprachen angehen. Die Entwicklung des Systems COMSKEE machte ein intensives Studium der einschlägigen linguistischen Datenverarbeitungsprobleme notwendig. Das System wurde mehrfach überarbeitet und weiterentwickelt. Zu unserer Überraschung konnte es auch erfolgreich im nicht universitären Bereich eingesetzt werden. Anwender sind dort die Saarbrücker Zeitung und Behörden der EWG in Luxemburg. COMSKEE besitzt voll dynamische Datentypen, die es auch gestatten, große Datenbanken auf Hintergrundspeichern einzurichten und zu verwalten. Dies geschieht in sehr effizienter und speicherplatzsparender Weise. Die Integration solcher Möglichkeiten in eine höhere Programmiersprache scheint bis 1985 einmalig gewesen zu sein.
In diesem Projekt wird ein System zum Entwurf von hochintegrierten Elektronischen Bausteinen entwickelt. CADIC soll automatisch aus einer funktionalen topologischen Spezifikation des Chips dessen Layout erzeugen. (Laufzeit seit 1983).
Unterstützt durch das BMFT, Nixdorf und SIEMENS (Laufzeit 3 Jahre).