Semantic subtyping for session types

Alexandra Zua Caldeira, University of Lisbon, Portugal

Bica is a compiler for Java programs extended with session type specifications, introduced via annotations. The compiler ensures that all valid programs use objects as specified. We present a set of examples that show how to program using these annotations and which errors Bica is able to detect.