Document Open Access Logo

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

Authors Andreas Stadelmeier, Martin Plümicke, Peter Thiemann

PDF

Artifact Description

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

Document Identifiers

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
    0
    Metadata Views

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.

Cite As Get 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

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

Artifact

  MD5 Sum: 321b5b2c4ba5318c25dc9dd1fbcab6f7 (Get MD5 Sum)

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

Related Article

  • Andreas Stadelmeier, Martin Plümicke, and Peter Thiemann, "Global Type Inference for Featherweight Generic Java", in 36th European Conference on Object-Oriented Programming (ECOOP 2022), LIPIcs, Vol. 222, pp. 28:1-28:27, 2022. https://doi.org/10.4230/LIPIcs.ECOOP.2022.28
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact