Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language

Alexi Turcotte, Ellen Arteca, Gregor Richards. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: