Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)

Authors Andreas Stadelmeier, Martin Plümicke, Peter Thiemann



PDF
Thumbnail PDF

Artifact Description

DARTS.8.2.18.pdf
  • Filesize: 492 kB
  • 4 pages

Document Identifiers

Author Details

Andreas Stadelmeier
  • Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Germany
Martin Plümicke
  • Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Germany
Peter Thiemann
  • Institut für Informatik, Universität Freiburg, Germany

Cite AsGet BibTex

Andreas Stadelmeier, Martin Plümicke, and Peter Thiemann. Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 18:1-18:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DARTS.8.2.18

Artifact

Artifact 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.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Language features
Keywords
  • type inference
  • Java
  • subtyping
  • generics

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail