Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.18
URN: urn:nbn:de:0030-drops-162165
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16216/
Stadelmeier, Andreas ; Plümicke, Martin ; Thiemann, Peter
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
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.
BibTeX - Entry
@Article{stadelmeier_et_al:DARTS.8.2.18,
author = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
title = {{Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)}},
pages = {18:1--18:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16216},
URN = {urn:nbn:de:0030-drops-162165},
doi = {10.4230/DARTS.8.2.18},
annote = {Keywords: type inference, Java, subtyping, generics}
}
| Keywords: | type inference, Java, subtyping, generics | |
| Seminar: | DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) | |
| Issue date: | 2022 | |
| Date of publication: | 23.06.2022 |
