## User login## Navigation |
## Eriskay: a Programming Language Based on Game SemanticsEriskay: a Programming Language Based on Game Semantics. John Longley and Nicholas Wolverson. GaLoP 2008.
It's always interesting to see a new programming language strongly based on some mathematical formalism, because a language gives you a concrete example to match the abstract semantic definitions to, and game semantics is something that I've been curious about for a while. One particularly interesting feature is that the core language has a restricted model of the heap, which controls the use of higher-order store in such a way that cycles are prohibited. This is enforced with a notion called "argument safety", which essentially prohibits storing values of higher type into fields which come from "outside" the object. This is somewhat reminiscent of the ownership disciplines found in OO verification systems like Boogie, which enforce a tree structure on the ownership hierarchy. It would be very interesting to find out whether this resemblance is a coincidence or not. (Samson Abramsky has some lecture notes on game semantics for the very curious.) |
## Browse archives## Active forum topics- return-type polymorphism of monads done right in a dynamic language
- How can languages help us in terms of achieving correct program design?
- How can middle school algebra help with domain specific languages?
- symbols and loosely coupled concurrent apps part II
- Language combining relational algebra and domain algebra
## New forum topics |

## Recent comments

20 hours 6 min ago

22 hours 37 min ago

23 hours 3 min ago

3 days 2 hours ago

3 days 14 hours ago

3 days 14 hours ago

3 days 14 hours ago

3 days 14 hours ago

3 days 15 hours ago

3 days 15 hours ago