LAMI, PIETRO
LAMI, PIETRO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.018 secondi).
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
2024 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni
Reversibility in Erlang: Imperative Constructs
2022 Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives | Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni | 2024-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
Reversibility in Erlang: Imperative Constructs | Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G. | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |