Samuele Buro

Available identifiers

zbMath Open buro.samueleMaRDI QIDQ2133468

List of research outcomes

Publication	Date of Publication	Type
On the multi-language construction	2023-11-24	Paper
Equational logic and categorical semantics for multi-languages	2022-04-29	Paper
On multi-language abstraction. Towards a static analysis of multi-language programs	2021-10-18	Paper
On the semantic equivalence of language syntax formalisms	2020-09-17	Paper
Abstract code injection. A semantic approach based on abstract non-interference	2020-07-07	Paper

Research outcomes over time

This page was built for person: Samuele Buro