Operational semantics for multi-language programs
From MaRDI portal
Publication:3189775
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
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
This page was built for publication: Operational semantics for multi-language programs