Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Sound Regular Corecursion in coFJ
2020-01-01 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
Enhanced Regular Corecursion for Data Streams
2021-01-01 Ancona, Davide; Barbieri, Pietro; Zucca, Elena
Equality of Corecursive Streams Defined by Finitary Equational Systems
2022-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Enhancing Expressivity of Checked Corecursive Streams
2022-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Checked corecursive streams: Expressivity and completeness
2023-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Enhancing Regular Corecursion
2023-04-21 Barbieri, Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. | |
| Sound Regular Corecursion in coFJ | 1-gen-2020 | Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena | |
| An inductive abstract semantics for coFJ | 1-gen-2020 | Barbieri, P.; Dagnino, F.; Zucca, E. | |
| Enhanced Regular Corecursion for Data Streams | 1-gen-2021 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena | |
| Equality of Corecursive Streams Defined by Finitary Equational Systems | 1-gen-2022 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Enhancing Expressivity of Checked Corecursive Streams | 1-gen-2022 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Checked corecursive streams: Expressivity and completeness | 1-gen-2023 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Enhancing Regular Corecursion | 21-apr-2023 | Barbieri, Pietro |
Mostrati risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile