Browsing University of Waterloo by Author "Turcotte, Alexi"
Now showing items 1-1 of 1
-
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
Turcotte, Alexi (University of Waterloo, 2018-08-31)Foreign function interfaces (FFIs) are commonly used as a way to mix programming languages. In such systems, a program written in a host language calls functions written in a guest language from within the same program. ...