COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Game Semantics for Interface Middleweight Java
Game Semantics for Interface Middleweight JavaAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Jonathan Hayman. 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. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCentre for Trophoblast Research IfM Centre for Industrial Sustainability Judge Business Club Financial Economcs Series CAMSED Cosmology LunchOther talksEthics for the working mathematician, seminar 8: Standing on the shoulders of giants. Queer stories at the Museum Neural Networks and Natural Language Processing HONORARY FELLOWS PRIZE LECTURE - Towards a silent aircraft |