15th Estonian Winter School in Computer Science (EWSCS)
XV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 28 -March 5, 2010

Alan Mycroft

Computer Laboratory
University of Cambridge
United Kingdom

Type-Like Frameworks for Controlling State and Aliasing


Dijkstra's famous maxim "go to statement considered harmful" noted that spaghetti-like code was hard to reason about. However, in the presence of side effects and (especially) concurrency, spaghetti-like data is far harder to understand - not only in terms of the full behaviour of a program but also in terms of lesser properties such as performance prediction on multicore architectures. We present various compile-time techniques for controlling stateful operations and investigate some of their connections. These techniques include sub-structural type systems, effect systems, typestate, session types, contracts, linear and quasi-linear types, monads, separation logic and ownership types.

Course materials in EWSCS'10 handouts

More course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed March 7, 2010 22:27 EET by local organizers, ewscs10(at)cs.ioc.ee
EWSCS'10 page: http://cs.ioc.ee/ewscs/2010/