Global type inference for featherweight generic java
Abstract: 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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
36th European Conference on Object-Oriented Programming (ECOOP 2022). - Wadern, 2022. - 28, ISBN: 978-3-95977-225-9
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2024
- Creator
- DOI
-
10.4230/lipics.ecoop.2022.28
- URN
-
urn:nbn:de:bsz:25-freidok-2557878
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Stadelmeier, Andreas
- Plümicke, Martin
- Thiemann, Peter
- Universität
Time of origin
- 2024
Other Objects (12)
Information algebras : generic structures for inference
Generic programming with VIEWS : type and class inference with polymorphic subsumption by resolution theorem proving
PERFIDIX : a Generic Java Benchmarking Tool
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic machine learning inference on heterogenous treatment effects in randomized experiments
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic inference on quantile and quantile effect functions for discrete outcomes
Managing interlingual references : a type generic approach
NullnessGraphSeq : Learning-based Java nullness inference
Type inference based deforestation of functional programs
Type inference based deforestation of functional programs
Polymorphic type inference for object-oriented programming languages
Information algebras : generic structures for inference
Generic programming with VIEWS : type and class inference with polymorphic subsumption by resolution theorem proving
PERFIDIX : a Generic Java Benchmarking Tool
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic machine learning inference on heterogenous treatment effects in randomized experiments
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic inference on quantile and quantile effect functions for discrete outcomes
Managing interlingual references : a type generic approach
NullnessGraphSeq : Learning-based Java nullness inference
Type inference based deforestation of functional programs
Type inference based deforestation of functional programs
Polymorphic type inference for object-oriented programming languages
Information algebras : generic structures for inference
Generic programming with VIEWS : type and class inference with polymorphic subsumption by resolution theorem proving
PERFIDIX : a Generic Java Benchmarking Tool
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic machine learning inference on heterogenous treatment effects in randomized experiments
Generic inference on quantile and quantile effect functions for discrete outcomes
Generic inference on quantile and quantile effect functions for discrete outcomes
Managing interlingual references : a type generic approach
NullnessGraphSeq : Learning-based Java nullness inference
Type inference based deforestation of functional programs
Type inference based deforestation of functional programs