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

Download paper here

Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science.