Operational semantics for multi-language programs

DOI10.1145/1190216.1190220MaRDI QIDQ3189775zbMATH OpenOpenAlexFDO

Authors 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

interoperabilitymulti-language systemsoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• On multi-language abstraction. Towards a static analysis of multi-language programs
• FabULous interoperability for ML and a linear language
• Interlanguage working without tears: blending SML with Java
• scientific article; zbMATH DE number 988155
• JNI light: an operational model for the core JNI

Cited in

(21)

• A structural operational semantics for an Edison-like language
• FabULous interoperability for ML and a linear language
• Weak updates and separation logic
• Equational logic and categorical semantics for multi-languages
• On multi-language abstraction. Towards a static analysis of multi-language programs
• Reconciling method overloading and dynamically typed scripting languages
• Interlanguage working without tears: blending SML with Java
• Rule-based operational semantics for an imperative language
• scientific article; zbMATH DE number 988155 (Why is no real title available?)
• Foundations of dependent interoperability
• scientific article; zbMATH DE number 2087402 (Why is no real title available?)
• 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
• Reasoning about multi-lingual exception handling using RIPLS
• JNI light: an operational model for the core JNI
• On the multi-language construction
• Pragmatic gradual polymorphism with references
• Static blame for gradual typing
• Space-efficient gradual typing
• A simple blame calculus for explicit nulls

Describes a project that uses

Uses Software

• Jython
• Haskell
• Cecil
• SWIG

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

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