2026-07-22T01:18:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16216 2024-03-06T11:05:16Z ddc:004 open_access

Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact) Stadelmeier, Andreas Plümicke, Martin Thiemann, Peter type inference Java subtyping generics We implemented a prototype of the type inference algorithm described in the paper "Global Type Inference for Featherweight Generic Java". Our type inference algorithm for Featherweight Generic Java (GFJ) is able to calculate the missing types in a Typeless Featherweight Generic Java (FGJ-GT) program. Inserting those types generates a valid GFJ program. We demonstrate this with a prototype implementation. The prototype is a web application which accepts GFJ-GT programs as input and shows the respective GFJ program after the type inference. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Andreas Stadelmeier and Martin Plümicke and Peter Thiemann 2022 Is Part Of DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.8.2.18 urn:nbn:de:0030-drops-162165 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.18 eng https://creativecommons.org/licenses/by/4.0/legalcode