2026-08-11T08:33:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10786 2024-03-06T11:05:06Z ddc:004 open_access

Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact) Turcotte, Alexi Arteca, Ellen Richards, Gregor Language design Language interoperation Formal semantics There are two components to this artifact. First, a we provide a mechanization of the formalization in the paper, as well as mechanized proofs of the main results from the paper. Second, we provide a full implementation of Poseidon Lua, the language implemented in the paper. Instructions for all components of the artifact are included this document. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alexi Turcotte and Ellen Arteca and Gregor Richards 2019 Is Part Of DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.5.2.9 urn:nbn:de:0030-drops-107863 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.9 eng https://creativecommons.org/licenses/by/3.0/de/legalcode