Department of Information Technology

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.

Updated  2015-11-09 00:33:38 by Jari Stenman.