On the multi-language construction

DOI10.1007/978-3-030-17184-1_11MaRDI QIDQ6091307zbMATH OpenOpenAlexFDO

Authors Samuele Buro, Isabella Mastroeni

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_11

zbMATH Keywords

interoperabilitymulti-language designprogram semantics

Mathematics Subject Classification ID

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

Recommendations

• On multi-language abstraction. Towards a static analysis of multi-language programs
• Operational semantics for multi-language programs
• FabULous interoperability for ML and a linear language
• Reasoning about multi-lingual exception handling using RIPLS

Cited in

(3)

• On multi-language abstraction. Towards a static analysis of multi-language programs
• scientific article; zbMATH DE number 1897144 (Why is no real title available?)
• On multi-language abstraction: towards a static analysis of multi-language programs

This page was built for publication: On the multi-language construction

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