License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2022.28
URN: urn:nbn:de:0030-drops-162560
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16256/
Stadelmeier, Andreas ;
Plümicke, Martin ;
Thiemann, Peter
Global Type Inference for Featherweight Generic Java
Abstract
Java’s type system mostly relies on type checking augmented with local type inference to improve programmer convenience.
We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and field specifications, our inference algorithm infers all method types if classes do not make use of polymorphic recursion. The algorithm is constraint-based and improves on prior work in several respects. Despite the restricted setting, global type inference for FGJ is NP-complete.
BibTeX - Entry
@InProceedings{stadelmeier_et_al:LIPIcs.ECOOP.2022.28,
author = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
title = {{Global Type Inference for Featherweight Generic Java}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {28:1--28:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-225-9},
ISSN = {1868-8969},
year = {2022},
volume = {222},
editor = {Ali, Karim and Vitek, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16256},
URN = {urn:nbn:de:0030-drops-162560},
doi = {10.4230/LIPIcs.ECOOP.2022.28},
annote = {Keywords: type inference, Java, subtyping, generics}
}
