Speaker Affiliation | Institute of Cybernetics, Technical University of Tallinn |
Start | 23.11.2007, 16:00 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 3. OG, Raum 358 |
Invited by | 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. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0