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
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
36th European Conference on Object-Oriented Programming (ECOOP 2022). - Wadern, 2022. - 28, ISBN: 978-3-95977-225-9
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2024
- Urheber
- DOI
-
10.4230/lipics.ecoop.2022.28
- URN
-
urn:nbn:de:bsz:25-freidok-2557878
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Stadelmeier, Andreas
- Plümicke, Martin
- Thiemann, Peter
- Universität
Entstanden
- 2024
Ähnliche Objekte (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