Institute of Computer Languages
Compilers and Languages Group

Talks 2009 - Robert Glück

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

Prof. Dr. Robert Glück

University of Copenhagen, Denmark

über

Is There a Fourth Futamura Projection?

Datum: Mittwoch, 1. April 2009
Zeit: 17:00 (s.t.)
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

The three classic Futamura projections stand as a cornerstone in the development of partial evaluation. The observation by Futamura [1983], that compiler generators produced by his third projection are self-generating, and the insight by Klimov and Romanenko [1987], that Futamura's abstraction scheme can be continued beyond the three projections, are systematically investigated, and several new applications for compiler generators are proposed. Possible applications include the generation of quasi-online compiler generators and of compiler generators for domain-specific languages, and the bootstrapping of compiler generators from program specializers. From a theoretical viewpoint, there is equality between the class of self-generating compiler generators and the class of compiler generators produced by the third Futamura projection. This exposition may lead to new practical applications of compiler generators based on partial-evaluation methods, as well as deepen our theoretical understanding of program specialization.

Kurzbiographie von Prof. Dr. Robert Glück

Robert Glück is an Associate Professor of Computer Science at the University of Copenhagen, Denmark. He received his Habilitation and doctor degree from the Vienna University of Technology, Austria, where he also worked as Universitätsasistent. He was research assistant at the City University of New York, USA, and received the Erwin-Schrödiner-Fellowship of the Austrian Science Foundation (FWF). For four years he worked at Waseda University, Tokyo, as a researcher and project leader for the Japan Science and Technology Agency (JST) and the Japan Society for the Promotion of Science (JSPS). His main research interests include advanced programming languages, automatic program transformation, and metaprogramming techniques. Robert Glück is currently a visiting professor at TU Vienna, where he delivers a lecture course on "Programminvertierung und Reversibles Rechnen" as part of an ERASMUS/SOKRATES Exchange Agreement between TU Vienna and The University of Copenhagen. (http://www.diku.dk/~glueck/)

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)