Zobrazeno 1 - 10
of 124
pro vyhledávání: '"Bettini, Lorenzo"'
Publikováno v:
In The Journal of Systems & Software June 2024 212
Autor:
Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 3 (September 5, 2018) lmcs:4216
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
http://arxiv.org/abs/1801.05052
Autor:
Bettini, Lorenzo1 (AUTHOR), Di Ruscio, Davide2 (AUTHOR), Iovino, Ludovico3 (AUTHOR) ludovico.iovino@gssi.it, Pierantonio, Alfonso2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Oct2022, Vol. 21 Issue 5, p1689-1709. 21p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bettini Lorenzo
Publikováno v:
Open Computer Science, Vol 9, Iss 1, Pp 52-79 (2019)
Providing IDE support for a programming language or a DSL (Domain Specific Language) helps the users of the language to be more productive and to have an immediate feedback on possible errors in a program. Static types can drive IDE mechanisms such a
Externí odkaz:
https://doaj.org/article/3eb3aa34d78d4e308c895429a19e4350
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2008 398(1):95-113