Veranstaltungen

01. April 2009, 17:00 bis 00:00

Is There a Fourth Futamura Projection?

Andere

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 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ätsassistent. He was research assistant at the City University of New York, USA, and received the Erwin-Schrödinger-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 TechnologyAgency (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 ExchangeAgreement between TU Vienna and The University of Copenhagen.
(<link service.zid.tuwien.ac.at/ts/goto.php _blank>http://www.diku.dk/~glueck/)</link>

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Nein

 

Anmeldung erforderlich

Nein