Willkommen beim Lehrstuhl Programmierparadigmen - IPD Snelting
"Programmiersprachliche Konzepte sind gefrorenes Wissen über gute
Softwareentwicklung" sagte einst G. Kahn. Programmiersprachen
unterscheiden sich in ihrem zugrundeliegenden Denk- oder
Maschinenmodell, ihrem "Paradigma". Zu den bekanntesten
Programmierparadigmen gehören die imperative, die objektorientierte,
die funktionale und die logische Programmierung. Programmiersprachen
prägen nicht nur stark das Denken über Software und die
softwaretechnischen Strukturen, die verschiedenen Paradigmen bedingen
auch ganz unterschiedliche Techniken der Compilation und Optimierung,
der Programmierwerkzeuge und der Programmanalyse.
Der Lehrstuhl Programmierparadigmen befasst sich mit
der Compilation, der Analyse und der Anwendung der
verschiedenen Programmierparadigmen. Der Schwerpunkt liegt auf
objektorientierten Sprachen wie Java oder C++. In der Lehre werden
entsprechende Veranstaltungen und Praktika zu Programmierparadigmen und
Compilerbau angeboten. In der Forschung liegt der Schwerpunkt in der
Programmanalyse objektorientierter Sprachen und ihren semantischen
Grundlagen. Anwendungen zur Softwaresicherheit - die auch mit
deduktiven Verfahren unterstützt werden - genießen unsere ganz
besondere Aufmerksamkeit. Dabei werden solide theoretische Grundlagen
ebenso angestrebt wie eine empirische Validierung.
News
Lehrveranstaltungen
Sprechstunde
Sprechstunde Prof. Snelting: Di 13 - 14 Uhr Raum 201 AVG. Fragen zur Lehre, zu Prüfungen, zur Anerkennung usw werden in der Sprechstunde beantwortet. Eine Anmeldung zur Sprechstunde ist nicht erforderlich.
Forschungsprojekte
Links
Kulturelles
|
