Institute of Computer Languages
Compilers and Languages Group
on
| Date: | Friday, November 9th, 2007 |
|---|---|
| Time: | 14:00 (c.t.) |
| Location: | TU Wien, Elektrotechnik, EI 3 Sahulka-Hörsaal, Gusshausstraße 25-29 (Altbau), 2. Stock |
A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets is proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this talk. (Joint work with Holger Bock Axelsen and Tetsuo Yokoyama.)
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 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. (http://www.diku.dk/~glueck/)