Coeffects for MiniJava: Cf-Mj

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	30-36
Numero di pagine	7
DOI	https://doi.org/10.1145/3678721.3686232
Stato di pubblicazione	Pubblicato - 2024
Evento	International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024 - Vienna Durata: 1 gen 2024 → …

???event.eventtypes.event.conference???	International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024
Città	Vienna
Periodo	1/01/24 → …

Keywords

@conference{2fdf8d7d11e84936b3c98333a8c52301,

title = "Coeffects for MiniJava: Cf-Mj",

keywords = "Operational semantics, Coeffects, Java-like languages, Operational semantics, Coeffects, Java-like languages",

author = "Paola GIANNINI and Giulio Duso",

year = "2024",

doi = "10.1145/3678721.3686232",

language = "English",

pages = "30--36",

note = "International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024 ; Conference date: 01-01-2024",

}

TY - CONF

T1 - Coeffects for MiniJava: Cf-Mj

AU - GIANNINI, Paola

AU - Duso, Giulio

PY - 2024

Y1 - 2024

KW - Operational semantics

KW - Coeffects

KW - Java-like languages

KW - Operational semantics

KW - Coeffects

KW - Java-like languages

UR - https://iris.uniupo.it/handle/11579/192722

U2 - 10.1145/3678721.3686232

DO - 10.1145/3678721.3686232

M3 - Paper

SP - 30

EP - 36

T2 - International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024

Y2 - 1 January 2024

ER -