Institute of Computer Languages
Compilers and Languages Group

Talks 2013 - Martin Plümicke

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Prof. Dr. Martin Plümicke

Duale Hochschule Baden-Württemberg, Stuttgart, Campus Horb, Deutschland

über

More Type Inference in Java 8

Datum: Dienstag, den 12. November 2013
Zeit: 10:30 Uhr *)
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
*) Tee: 10:00 Uhr in der Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

Java 8, die nächste anstehende Erweiterung der Programmiersprache Java, führt Lambda-Ausdrücke als neues Feature in der Sprache ein. Lambda-Ausdrücke machen es nötig sehr komplexe Typausdrücke für Variablen und Methoden explizit anzugeben.

In dem Vortrag wird ein Ansatz vorgestellt wie es möglich ist, in Java 8 Typen automatisch zu inferieren ohne die statische Typsicherheit von Java zu verlieren.

Dabei wird sowohl der Algorithmus als auch eine prototypische Implementierung präsentiert.

Kurzbiographie von Martin Plümicke

Martin Plümicke hat an der Universität Tübingen Mathematik und Physik studiert und anschließend in Informatik promoviert. In seiner Promotion hat er sich mit Typsystemen funktionaler Sprechen beschäftigt und einen Typinferenzalgorithmus für OBJ entwickelt. Heute ist er Professor an der Dualen Hochschule Baden-Württemberg. Seine Forschungstätigkeit bezieht sich heute auf das Typsystem von Java. Dabei entwickelte er zunächst einen Typinferenzalgorithmus für Java mit Generics. Dieser wird nun in seinen neuesten Arbeiten auf Lambda-Ausdrücke erweitert. (http://www2.ba-horb.de/~pl/)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)