Institute of Computer Languages
Compilers and Languages Group

Talks 2010 - 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

Baden-Wuerttemberg Cooperative State University, Germany


Typeless Programming in Java 5 and 7

Datum: Montag, 20. September 2010
Zeit: 15:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)


With the introduction of Java 5 the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. The term Vector>> is for example a correct type in Java.

Considering all that, it is often rather inconvienent to give types like this, explictly. Furthermore it is often difficult for a programmer to recognize whether such a complex type is the correct one for a given method or not.

Furthermore there are methods whose principal types would be intersection types. But intersection types are not implemented in Java. This means that Java methods often do not have the principal type which is contradictive to the OOP-Principle of writing re-usable code.

This has caused us to develop a Java type inference system which assists the programmer by calculating types automatically. This type inference system allows us, to declare method parameters and local variables without type annotations. The type inference algorithm calculates the appropriate and principal types.

In Java 7 the language will be expanded by closures (lambda-expressions) and function types. We give a formal definition for an abstract syntax of a reduced language Java_lambda, define the type system, and formalize the subtyping relation. Finally, we give type inference rules, which describe the typings of Java_lambda expressions and statements and sketch a type inference algorithm.

Kurzbiographie von Martin Plümicke

Martin Plümicke is a professor at the Baden-Wuerttemberg Cooperative State University. His research interests focus on type inference. In his PHD thesis he developed a type inference system for OBJ and gave a type inference algorithm. Now he works on an extension of Java. He develops a Java type inference system, such that a programmer does not need to give types explictly and the system determines the types automatically. ( ).

Before joining the Baden-Wuerttemberg Cooperative State University he did his PHD thesis at the University of Tuebingen.

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

   About Us
      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
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)