Tuesday, September 23, 2014
10.15 am (R114, Jahnstr.)
Robert
Rettinger (Hagen): Über eine Implementierung fehlerfreier reeller
Arithmetik als Compilerphase
| Abstract: Das iRRAM-Paket von Norbert Müller bietet die Möglichkeit, in C++ Programmen exaktes Rechnen auf den reellen Zahlen zu integrieren. Diesem Paket ist die gut ausgearbeitete Type-2-Theorie zu Grunde gelegt, die exaktes Rechnen auf nicht abzählbaren Strukturen in natürlicher, implementierbarer Form ermöglicht. Aufgrund der Tatsache, dass das iRRAM-Paket als C++-Bibliothek implementiert ist, ergeben sich einige Einschränkungen in der Anwendung dieses Paketes. So muss weitgehend auf Standardein- und ausgaben und die Einbindung externer Bibliotheken verzichtet werden. Aufbauend auf diesem Paket beschreiben wir Möglichkeiten, die Einschränkungen des Paketes durch Implementierung des Paketes als Compilerphase weitgehend aufzuheben. Insbesondere werden wir Vor- und Nachteile und die theoretischen Grundlagen einer solchen Implementierung diskutieren. Darüber hinaus werden wir in diesem Vortrag einige Details einer Implementierung auf Basis des llvm-Paketes vorstellen. |
Tuesday, September 23, 2014
2.15 pm (R114, Jahnstr.)
Philipp
Schlicht (Bonn): Pumping for ordinal-automatic structures
| Abstract: An alpha-automaton for some ordinal alpha is an automaton similar to a Muller automaton which processes words of length alpha. A structure is called alpha-automatic if it can be presented by alpha-automata. We develop a pumping lemma for non-deterministic ordinal automata processing words which have a fixed letter in all but finitely many places. We give several applications, for instance, ordinal-automatic structures never contain free groups, and the ordinal-automatic structures can be separated from the tree-automatic structures. This is joint work with Alex Kartzow. |