2026-07-21T14:13:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18196 2024-03-06T11:01:20Z ddc:004 open_access

Multi-Graded Featherweight Java Bianchini, Riccardo Dagnino, Francesco Giannini, Paola Zucca, Elena Graded modal types Java Resource-aware type systems statically approximate not only the expected result type of a program, but also the way external resources are used, e.g., how many times the value of a variable is needed. We extend the type system of Featherweight Java to be resource-aware, parametrically on an arbitrary grade algebra modeling a specific usage of resources. We prove that this type system is sound with respect to a resource-aware version of reduction, that is, a well-typed program has a reduction sequence which does not get stuck due to resource consumption. Moreover, we show that the available grades can be heterogeneous, that is, obtained by combining grades of different kinds, via a minimal collection of homomorphisms from one kind to another. Finally, we show how grade algebras and homomorphisms can be specified as Java classes, so that grade annotations in types can be written in the language itself. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Riccardo Bianchini and Francesco Dagnino and Paola Giannini and Elena Zucca 2023 Is Part Of LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2023.3 urn:nbn:de:0030-drops-181960 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.3 eng https://creativecommons.org/licenses/by/4.0/legalcode