Understanding the foundations, principles and methods of program inversion and reversible computing. Ability to program and design reversible systems, in particular the programming a higher-level reversible programming languages and the design of simple reversible logic circuits with Feynman- and Toffoli-gates. The ability to understand and explain scientific articles in the area of the course.
This course gives an introduction to the foundations, principles and methods of program inversion and reversible computation. Program inversion is, beside program specialization and program composition, one of the fundamental transformations of programs. A familiar example of two programs that are inverse to each other is the encoding and decoding of data. Why hand write two programs by hand when, in principle, it is sufficient to write one and to derive the other by automatic program transformation? This course explores different methods and applications of program inversion and reversible computing, and surveys the state-of-the-art in these areas. The contents of the lectures: reversible computing, backward deterministic programming languages, reversible logic circuits, local and global program inversion, relation to quantum computing.
Die Vorlesung wird im Rahmen einer ERASMUS/LLP-Vereinbarung zwischen der TU Wien und der Universität Kopenhagen, Dänemark, von Professor Dr. habil. Robert Glück als Blockveranstaltung vom 11.04.2011 bis zum 15.04.2011 abgehalten. Veranstaltungsort für alle Termine ist, wenn nicht anders angegeben, die Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte), 1040 Wien.
- Mo, 11.04.2011: 09:30 Uhr - 12:30 Uhr und 14:00 Uhr - 16:30 Uhr
- Di, 12.04.2011: 09:30 Uhr - 12:30 Uhr und 14:00 Uhr - 16:30 Uhr
- Mi, 13.04.2011: 09:30 Uhr - 12:30 Uhr (nachmittags Kolloquium, s.u.)
- Do, 14.04.2011: 09:30 Uhr - 12:30 Uhr (Zemanek-Saal) und 14:00 Uhr - 16:30 Uhr
- Fr, 15.04.2011: 09:30 Uhr - 12:30 Uhr und 14:00 Uhr - 16:30 Uhr
Am Mittwoch, den 13.04.2011, um 15 Uhr c.t. hält Professor Glück einen Kolloquiumsvortrag zum Thema "Bootstrapping Compiler Generators from Partial Evaluators". Alle Hörerinnen und Hörer der LVA sind zu diesem Vortrag besonders eingeladen. Der Vortrag findet in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte), 1040 Wien, statt. Die detaillierte Vortragsankündigung findet sich hier:
http://www.complang.tuwien.ac.at/talks/Glueck2011-04-13
