Lehrstuhl für Informatik 2 (Programmiersysteme)

Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme (1988) Andres C Thesis Ein vollständiges Mengenkonzept in Programmiersprachen - Realisierung mit unkonventioneller Hardware (1986) Völk A Thesis Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung (1982) Grosch J Thesis Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme (1981) Lindstedt W Thesis Höhere Programmiersprachen für Kleinrechner: Anforderungen, Entwicklungskriterien, Compileraspekte (1978) Stöth G Thesis Datengraphen und deren Transformation: Ein Konzept zur Spezifikation von Datentypen (1978) Weber D Thesis Synthese von analysierenden Automaten auf Grund von formalen Grammatiken (1978) Solymosi A Thesis Beschreibung von Programmmoduln zum Entwurf zuverlässiger Softwaresysteme (1978) Altmann W Thesis Graph-Grammatiken - Theorie, Anwendungen, Implementierungen (1978) Nagl M Thesis EBIDIS Strukturierte Bildprogrammierung im Dialog (1977) Brügmann HW Thesis