A Co-contextual Type Checker for Featherweight Java
Type checkers of object-oriented languages use class tables to coordinate type checking of subexpressions. This couples the type checking of subexpressions and prevents compositional and incremental type checking. Recent work achieved incremental type checking for PCF by removing contexts through co-contextual typing rules. However, that work does not cover key features of Featherweight Java: Subtype polymorphism, nominal typing, and implementation inheritance. This paper fills this gap with a formulation of co-contextual typing rules for Featherweight Java that replace the class table, which in Featherweight Java encode information about subtype polymorphism, nominal typing, and implementation inheritance, with a dual concept of class table requirements and class table operations with dual operations on class table requirements. We prove the equivalence of typing rules of contextual and co-contextual Featherweight Java. Also, we provide an incremental type-checker and a description of the optimizations we employed to the type-checker implementation for co-contextual FJ, in order to have an efficient incrementalization.
Fri 23 Jun
10:30 - 12:10: ECOOP Research Papers - Types and Effects at Auditorium, Vertex Building Chair(s): Philipp HallerKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | Colin GordonDrexel University Link to publication Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Delft, Oliver BračevacTU Darmstadt, Andi BejleriTU Darmstadt, Germany, Mira MeziniTU Darmstadt Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:10 Talk | Alceste ScalasImperial College London, Ornela DardhaUniversity of Glasgow, Raymond HuImperial College London, Nobuko YoshidaImperial College London Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||