• Global Type Inference for Feat...

Treffer: Global Type Inference for Featherweight Generic Java

Title:
Global Type Inference for Featherweight Generic Java
Authors:
Stadelmeier, Andreas, Plümicke, Martin, Thiemann, Peter
Publication Year:
2022
Collection:
Computer Science
Subject Terms:
Computer Science - Programming Languages, 68N15, D.3.1, F.3.3
Document Type:
Report Working Paper
Access URL:
http://arxiv.org/abs/2205.08768
Accession Number:
edsarx.2205.08768
Database:
arXiv

Weitere Informationen

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.
Comment: 33 pages, abridged version appears in ECOOP 2022