Technical Work in support of Project Fortress

Project

Technical Work in support of Project Fortress

Principal Investigator

Sukyoung Ryu

Kaist

Oracle Principal Investigator

Guy Steele, Software Architect
Karl Haberl, Senior Director, Oracle Labs East

Summary

This collaboration aims to advance the design and implementation of the Fortress compiler front-end and back-end to type-check and to generate Java bytecode for generically overloaded functionals, including generic methods of generitc traits and objects. Key Goals: 1. Design and implement modular overloading checks for generically overloaded functionals, in the presence of multiple inheritance; 2. Design and implement type-checking of generically overloaded functionals; 3. Design and implement other static checks for generically overloaded functionals, such as the coverage checks for abstract functional declarations; 4. Design and formalize a compilation strategy of generically overloaded functionals to a Java bytecode-like language.