Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Gradual Guarantee for FJ with lambda-Expressions

Contributo in Atti di convegno
Data di Pubblicazione:
2023
Abstract:
We present FJ&★, a new core calculus that extends Featherweight Java (FJ) with interfaces, -expressions, intersection types and a form of dynamic type. Intersection types can be used anywhere, in particular to specify target types of -expressions. The dynamic type is exploited to specify parts of the class tables and programs we want to exclude temporarily from static typing. Our main result is the gradual guarantee, which says that if a program is well typed in a class table, then replacing type annotations (from the program and from the class table) with the dynamic type always produces a program that is still well typed in the obtained class table. Furthermore, if a typed program evaluates to a value in a class table, then replacing type annotations with dynamic types always produces a program that evaluates to the same value in the obtained class table.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Lambda expressions, Featherweight Java, Gradual Typing, Intersection Types
Elenco autori:
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Autori di Ateneo:
BONO Viviana
Link alla scheda completa:
https://iris.unito.it/handle/2318/1948715
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1948715/1438308/3605156.3606453.pdf
Titolo del libro:
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023
Progetto:
Third Party CINI - "ADMIRE - Adaptive multi-tier intelligent data manager for Exascale" - Call H2020-JTI-EuroHPC-2019-1 - Grant Agreement n. 956748 - CUP F69J21003450007
  • Dati Generali
  • Aree Di Ricerca

Dati Generali

URL

https://doi.org/10.1145/3605156.3606453

Aree Di Ricerca

Settori (4)


PE6_3 - Software engineering, programming languages and systems - (2022)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Digitalizzazione della Società e della Pubblica Amministrazione

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0