Jun 18, 2013: Charl de Leur: Permission-Based Separation Logic for Scala

June 18, 2013Permission-Based Separation Logic for Scala
Room: Zi 5126Charl de Leur

Scala is a versatile multi-paradigm programming language on the JVM, offering full compatibility with existing Java libraries and application code. Permission-based separation logic is a program logic which has been shown to be successful in reasoning about concurrent Java programs. This talk will describe an ongoing MSC-project in which the permission-based separation logic approach is adapted to reason about Scala and evaluated using a case study of the scala.actors concurrency library.