Operational semantics for multi-language programs

DOI10.1145/1190216.1190220zbMath1295.68053OpenAlexW4245120671MaRDI QIDQ3189775

Jacob Matthews, Robert Bruce Findler

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1190216.1190220

zbMATH Keywords

operational semanticsinteroperabilitymulti-language systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (10)

Equational logic and categorical semantics for multi-languages ⋮ Foundations of dependent interoperability ⋮ Space-efficient gradual typing ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ Reasoning About Multi-Lingual Exception Handling Using RIPLS ⋮ Weak updates and separation logic ⋮ Reconciling method overloading and dynamically typed scripting languages ⋮ How to evaluate the performance of gradual type systems ⋮ Blame and coercion: Together again for the first time ⋮ Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

Uses Software

• Haskell
• SWIG
• Cecil
• Jython

This page was built for publication: Operational semantics for multi-language programs