Technical Work in support of Project Fortress
Project
Technical Work in support of Project Fortress
Principal Investigator
Sukyoung Ryu
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.