Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics

Add to your list(s) Download to your calendar using vCal

• Dominic Orchard, Computer Lab
• Friday 13 March 2009, 15:15-16:15
• GS15, Computer Laboratory.

If you have a question about this talk, please contact Dominic Orchard.

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.

This talk is part of the Computer Laboratory Programming Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• 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
• bld31

Note that ex-directory lists are not shown.