Write a Blog >>
Fri 28 Sep 2018 11:27 - 11:50 at Frisco - Session 1: Scala Foundations Chair(s): Paolo G. Giarrusso

Scala unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent Object Types (DOT) calculus of Amin et al. models only this core part of Scala, but not many fundamental features of Scala such as strict and mutable fields. Since the most commonly used field types in Scala are strict, the correspondence between DOT and Scala is too weak for us to meaningfully prove static analyses safe for Scala by proving them safe for DOT.

A DOT calculus that can support strict and mutable fields together with constructors that do field initialization would be more suitable for analysis of Scala. Toward this goal, we present κDOT, an extension of DOT that supports constructors and field mutation and can emulate the different types of fields in Scala. We have proven κDOT sound through a mechanized proof in Coq. We present the key features of κDOT and its operational semantics and discuss work-in-progress toward making κDOT fully strict.

Fri 28 Sep

scala-2018-papers
10:20 - 11:50: Scala 2018 - Session 1: Scala Foundations at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
scala-2018-papers10:20 - 10:42
Talk
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
scala-2018-papers10:42 - 11:05
Talk
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers11:05 - 11:27
Talk
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
scala-2018-papers11:27 - 11:50
Talk
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI