![[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)
Neel Krishnaswami
Monday 02 August 2010, 12:45-14:00
Higher order reactive programming
- 👤 Speaker: Neel Krishnaswami
- 📅 Date & Time: Monday 02 August 2010, 12:45 - 14:00
- 📍 Venue: Room FW26, Computer Laboratory, William Gates Building
Questions? Contact
Sam Staton
Abstract
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.
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Martin's interesting talks
- Room FW26, Computer Laboratory, William Gates Building
- School of Technology
- Semantics Lunch (Computer Laboratory)
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.