Browsing Mathematics (Faculty of) by Subject "Lua"
Now showing items 1-2 of 2
-
Gradual C Programming for Typed Lua
(University of Waterloo, 2019-01-22)The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ... -
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
(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. ...