Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein:

Professor Tarmo Uustalu, Institute of Cybernetics, Technical University of Tallinn: Dataflow computation, tree transformations and comonads

Beginn: 23.11.2007, 16:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 3. OG, Raum 358 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-11-23-uustalu.html Kontakt: Prof. Dr. Jirí Adámek

We describe a novel approach to mathematical description of context-dependent notions of computation and the semantics of corresponding programming languages. Notably, this covers various notions of dataflow computation (stream-based computation) and tree transformations. The approach is based on symmetric monoidal comonads. It is analogous to Moggi's treatment of effects based on strong monads and continues the line of Brookes, Geva and Van Stone's early work on "computational" comonads for intensional semantics. Especially, we pay attention to the precision and theoretical cohesion that for some notions of context-dependence can be achieved by "parametrizing" the appropriate "basic" comonads.