Mungo: Typechecking Protocols
Speaker
Dimitrios Kouzapas, University of Glasgow
Date and Time
Thursday, November 12th, 2015 at 15:15.
Location
Polacksbacken, room 2446
Abstract
I am demonstrating Mungo, a tool developed for type-checking typestate for objects in Java.
Typestate is a notion that embeds a state on the type of an object, with each state allowing
only for certain methods to be called. The demonstration will focus on the relation of Mungo
and communication protocols that are based on global session types.