University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics

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

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity