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

DOI10.1007/S10703-022-00405-8MaRDI QIDQ6987111zbMATH OpenFDO

Authors Samuele Buro, Roy L. Crole, Isabella Mastroeni

Publication date 7 May 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationalgebraic semanticsinteroperabilitymulti-languages

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: On multi-language abstraction: towards a static analysis of multi-language programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987111)