Introduction to game semantics for programming languages

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

• Aurore Alcolei
• Wednesday 31 October 2018, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

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

This year, the field of game semantics celebrates the 25th anniversary of one of its cornerstone results: a fully abstract model for the programming language PCF . In this talk, I will give an introduction to game semantics for programming languages, a semantics that interprets types as 2-player games and programs as strategies over these games.

Starting with some reminders from operational and denotational semantics as to the notion of full abstraction, I will then move on presenting a (decidable) game semantics for a small imperative programming language with first order functions, fIA. In the time remaining, I will try to emphasize the expressiveness of game semantics by showing how other programming language features such as recursion or concurrency can be represented in game models.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.