Samuele Buro

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 7

Top Topics

Logical Representation

Semantic Knowledge

Gibbs Random Field

Static Analysis

Top Venues

Publications

Samuele Buro, Roy L. Crole, Isabella Mastroeni
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Categorical Semantics for Multi-Languages. MFPS (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Set-Theoretic Models for Multi-Languages. ICTCS (2020)
Samuele Buro, Isabella Mastroeni
On the semantic equivalence of language syntax formalisms. Theor. Comput. Sci. 840 (2020)
Samuele Buro, Isabella Mastroeni
On the Semantic Equivalence of Language Syntax Formalisms. ICTCS (2019)
Samuele Buro, Isabella Mastroeni
On the Multi-Language Construction. ESOP (2019)
Samuele Buro, Isabella Mastroeni
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. VMCAI (2018)