Higher order reactive programming

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

• Neel Krishnaswami
• Monday 02 August 2010, 12:45-14:00
• Room FW26, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Sam Staton.

In this talk, I describe a denotational model of higher-order functional reactive programming using ultrametric spaces, which provide a natural Cartesian closed generalization of causal stream functions. I’ll then describe how reactive programs written in this language can be implemented efficiently using an imperatively updated dataflow graph, whose correctness proof uses ideas from rely-guarantee, step-indexed models, and separation logic.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Room FW26, Computer Laboratory, William Gates Building
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.