University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Dataflow languages and the semantics of context-dependent programming

Dataflow languages and the semantics of context-dependent programming

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

If you have a question about this talk, please contact Nathanael Alcock.

The dataflow programming paradigm, extending the idea of programming with streams, was defined and explored by Wadge and Ashcroft in the early 80s with their language Lucid. One possible way of looking at its formal semantics provides an introduction to a whole range of different analyses about context-dependent programming. In this talk, we will define a simple dataflow language, which will provide an introduction to programming with comonads. We assume basic familiarity with formal semantics and type systems, and we will be using some category theory later in the talk.

This talk is part of the Logic & Semantics for Dummies 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