Multi-Graded Featherweight Java

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

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.

Lingua originaleInglese
Titolo della pubblicazione ospite37th European Conference on Object-Oriented Programming, ECOOP 2023
EditorKarim Ali, Guido Salvaneschi
EditoreSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (elettronico)9783959772815
DOI
Stato di pubblicazionePubblicato - lug 2023
Evento37th European Conference on Object-Oriented Programming, ECOOP 2023 - Seattle, United States
Durata: 17 lug 202321 lug 2023

Serie di pubblicazioni

NomeLeibniz International Proceedings in Informatics, LIPIcs
Volume263
ISSN (stampa)1868-8969

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???37th European Conference on Object-Oriented Programming, ECOOP 2023
Paese/TerritorioUnited States
CittàSeattle
Periodo17/07/2321/07/23

Fingerprint

Entra nei temi di ricerca di 'Multi-Graded Featherweight Java'. Insieme formano una fingerprint unica.

Cita questo