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

operational semanticsinteroperabilitymulti-language systems

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

(20)

• scientific article; zbMATH DE number 2087402 (Why is no real title available?)
• Static blame for gradual typing
• A simple blame calculus for explicit nulls
• How to evaluate the performance of gradual type systems
• On multi-language abstraction. Towards a static analysis of multi-language programs
• Equational logic and categorical semantics for multi-languages
• Weak updates and separation logic
• FabULous interoperability for ML and a linear language
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Blame and coercion: Together again for the first time
• Reasoning about multi-lingual exception handling using RIPLS
• Interlanguage working without tears: blending SML with Java
• Reconciling method overloading and dynamically typed scripting languages
• Pragmatic gradual polymorphism with references
• JNI light: an operational model for the core JNI
• Space-efficient gradual typing
• Foundations of dependent interoperability
• A structural operational semantics for an Edison-like language
• Rule-based operational semantics for an imperative language
• On the multi-language construction

Describes a project that uses

Uses Software

• Jython
• Cecil
• SWIG
• Haskell

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)