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

DOI10.1007/978-3-030-65474-0_14zbMath1474.68045OpenAlexW3120235147MaRDI QIDQ2233542

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-65474-0_14

zbMATH Keywords

algebraic semanticsabstract interpretationinteroperabilitymulti-languages

Mathematics Subject Classification ID

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

Uses Software

• Jython
• Ilea
• Kotlin
• Nashorn
• SonarQube

Cites Work

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Equational logic and categorical semantics for multi-languages
• On collecting semantics for program analysis
• Operational semantics for multi-language programs
• Embedded interpreters
• The denotational semantics of programming languages
• Initial Algebra Semantics and Continuous Algebras
• An Oxford survey of order sorted algebra
• Refining and compressing abstract domains
• Property Directed Polyhedral Abstraction
• An equivalence-preserving CPS translation via multi-language semantics
• Typing a multi-language intermediate code
• Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification
• Abstract Interpretation Frameworks
• Handbook of Elliptic and Hyperelliptic Curve Cryptography
• Making abstract interpretations complete
• Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
• Verifying an Open Compiler Using Multi-language Semantics
• On the multi-language construction

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