![[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)
Andrzej Murawski, University of Warwick
Friday 13 February 2015, 14:00-15:00
Game Semantics for Interface Middleweight Java
- đ¤ Speaker: Andrzej Murawski, University of Warwick
- đ Date & Time: Friday 13 February 2015, 14:00 - 15:00
- đ Venue: Computer Laboratory, William Gates Building, Lecture Theatre 2
Abstract
Recent years have seen game semantics emerge as a robust semantic paradigm. It has been used to construct the first fully abstract models for a wide spectrum of programming languages, previously out of reach of denotational semantics. Game semantics models computation as an exchange of moves between two players, representing respectively the program and its computational environment. Accordingly, a program is interpreted as a strategy in a game corresponding to its type. I will give an overview of the latest developments in the area, which have most recently led to a fully abstract model of Middleweight Java. This is joint work with Nikos Tzevelekos (Queen Mary) presented at POPL ’14.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory, William Gates Building, Lecture Theatre 2
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.