BURO, SAMUELE
BURO, SAMUELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
Equational logic and categorical semantics for multi-languages
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
Equational Logic and Set-Theoretic Models for Multi-Languages
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
On Multi-language Abstraction
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
On the Multi-Language Construction
2019-01-01 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2019-01-01 Buro, Samuele; Mastroeni, Isabella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference | 1-gen-2018 | Buro, Samuele; Mastroeni, Isabella | |
| Equational logic and categorical semantics for multi-languages | 1-gen-2020 | Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella | |
| Equational Logic and Set-Theoretic Models for Multi-Languages | 1-gen-2020 | Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella | |
| On Multi-language Abstraction | 1-gen-2020 | Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella | |
| On the Multi-Language Construction | 1-gen-2019 | Buro, Samuele; Mastroeni, Isabella | |
| On the semantic equivalence of language syntax formalisms | 1-gen-2019 | Buro, Samuele; Mastroeni, Isabella |