Publications

Authors:

Buro, Samuele; Crole, Roy; Mastroeni, Isabella

Title:

On multi-language abstraction: Towards a static analysis of multi-language programs

Year:

2025

Type of item:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Language:

Inglese

Format:

Elettronico

Referee:

Sì

Name of journal:

FORMAL METHODS IN SYSTEM DESIGN

ISSN of journal:

0925-9856

N° Volume:

65

Page numbers:

4-38

Keyword:

Multi-languages; Abstract interpretation; Interoperability; Algebraic semantics

Short description of contents:

Modern software development rarely takes place within a single programming language. Often, programmers appeal to cross-language interoperability. Examples are exploitation of novel features of one language within another, and cross-language code reuse. Our previous works developed a theory of so-called multi-languages, which arise by combining existing languages, defining a precise notion of (algebraic) multi-language semantics. As regards static analysis, the heterogeneity of the multi-language context opens up new and unexplored scenarios. In this paper, we provide a general theory for the combination of abstract interpretations of existing languages, regardless of their inherent nature, in order to gain an abstract semantics of multi-language programs. As a part of this general theory, we show that formal properties of interest of multi-language abstractions (e.g., soundness and completeness) boil down to the features of the interoperability mechanism that binds the underlying languages together. We extend many of the standard concepts of abstract interpretation to the framework of multi-languages.

Product ID:

138528

Handle IRIS:

11562/1121928

Last Modified:

June 19, 2025

Bibliographic citation:

Buro, Samuele; Crole, Roy; Mastroeni, Isabella, On multi-language abstraction: Towards a static analysis of multi-language programs «FORMAL METHODS IN SYSTEM DESIGN» , vol. 65 , 2025 , pp. 4-38

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo