Reasoning About FFIs Using Nondeterministic Semantics (Thesis)
Published in University of Waterloo, 2018
Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science. http://reallytg.github.io/files/papers/thesis.pdf
embrace nondeterministic semantics for the greater good
Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science.