Sfoglia per Autore
Mostrati risultati da 1 a 10 di 10
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks
2017-01-01 Buro, Samuele; Mastroeni, Isabella
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2019-01-01 Buro, Samuele; Mastroeni, Isabella
On the Multi-Language Construction
2019-01-01 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2020-01-01 Buro, Samuele; Mastroeni, Isabella
Equational Logic and Set-Theoretic Models for Multi-Languages
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
Equational logic and categorical semantics 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 multi-language abstraction: Towards a static analysis of multi-language programs
2023-01-01 Buro, Samuele; Crole, Roy; Mastroeni, Isabella
On Multi-Language Semantics: Semantic Models, Equational Logic, and Abstract Interpretation of Multi-Language Code
In corso di stampa Buro, Samuele
Mostrati risultati da 1 a 10 di 10
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