Forschungsschwerpunkt Programmiersprachen
In objektorientierten Sprachen wie Java, C#, Scala oder C++ ist es zwingend erforderlich, den Typ einer Variablen, die Argument- und Return-Typen einer Methode festzulegen. Es gibt allenfalls lokale Typinferenzen, die es für einen sehr eingeschränkten Bereich erlauben Typen wegzulassen. Demgegenüber haben funktionale Sprachen wie Haskell oder CAML schon seit sehr langer Zeit globale Typinferenzsysteme, die es erlauben, alle Typen wegzulassen, ohne die Eigenschaft statische Typisierung zu verlieren.
Der Forschungsschwerpunkt Programmiersprachen beschäftigt sich hauptsächlich mit der Programmiersprache Java und dem Versuch, diese um eine globale Typinferenz zu erweitern.
Java-TX
Unsere Forschung im Bereich Programmiersprachen beschäftigt sich mit der Weiterentwicklung moderner Softwaretechnologien. Im Mittelpunkt stehen neue Konzepte der Typinferenz, Sprachdesign und Compilerentwicklung, die die Programmierung leistungsfähiger und komfortabler machen. Entdecken Sie unseren Forschungsschwerpunkt, laufenden Projekte und wissenschaftlichen Veröffentlichungen.
Zur Forschungsseite
Leitung
- Prof. Dr. habil. Martin Plümicke / Tel.: 07451/521-142 / E-Mail: m.pluemicke@hb.dhbw-stuttgart.de
Wissenschaftlicher Mitarbeiter
- Julian Schmidt, B. Sc. / Tel.: 07451/521-192 / E-Mail: j.schmidt@hb.dhbw-stuttgart.de
Laboringenieur
- B. Sc. Daniel Holle / Tel.: 07451/521-148 / E-Mail: d.holle@hb.dhbw-stuttgart.de