Browsing Theses by Subject "Programming Languages"

Now showing items 1-3 of 3

Enabling Language-Specific Transformations in Language-Agnostic Program Reduction

Zhao, Gaosen (University of Waterloo, 2023-08-30)

When a program P triggers a bug in a language implementation, program reduction can reduce P by removing program elements that are irrelevant to the bug, to facilitate debugging. Program reduction has been widely used in ...
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. ...
Resource Management and Tuples in CⱯ

Schluntz, Robert (University of Waterloo, 2017-05-01)

CⱯ is a modern, non-object-oriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic ...