|August 27, 2015||MSc Presentation: Permission-based separation logic for concurrent Scala programs|
|Room: HalB 2B||Charl de Leur|
Scala is a versatile multi-paradigm general purpose programming language on the Java Virtual Machine, which offers full compatibility with existing Java libraries and code, while providing a multitude of advanced features compared to Java itself.
Of the features Scala provides beyond Java , this thesis focusses on first class functions and lexical closures. A formal model subset, of Scala is defined, around these features. Using this foundation we present an extension to permission-based separation logic to specify and reason about functions and closures. Furtermore we provide a demonstration and an argument for its use by performing a case study on the Scala actors library.