![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Friday 13 March 2009, 15:15-16:15
Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics
- đ¤ Speaker: Dominic Orchard, Computer Lab
- đ Date & Time: Friday 13 March 2009, 15:15 - 16:15
- đ Venue: GS15, Computer Laboratory
Abstract
This talk discusses the interoperation of two differing programming paradigms: the dataflow paradigm of the language Lucid, and the object-oriented paradigm. The language Lucian interoperates these paradigms, allowing dataflow to be embedded into object-orientation. Composition of the two paradigms introduces ‘declarative intensional objects’, capturing the ‘history’ of an object in Lucid-style intensional semantics. The category theoretic approach of defining data structures coalgebraically is leveraged to give a semantics for the two paradigms and for the interoperation.
Lucid, Lucian, and Coalgebras will be explained.
Series This talk is part of the Computer Laboratory Programming Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- GS15, Computer Laboratory
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.