Redner Info | Institute of Cybernetics, Technical University of Tallinn |
Beginn | 23.11.2007, 16:00 Uhr |
Ort | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 3. OG, Raum 358 |
Eingeladen durch | 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. |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0