Browsing Theses by Subject "language implementation"
Now showing items 1-2 of 2
-
Exception Handling in C∀
(University of Waterloo, 2021-10-04)The C∀ (Cforall) programming language is an evolutionary refinement of the C programming language, adding modern programming features without changing the programming paradigms of C. One of these modern programming features ... -
Implementing a Functional Language for Flix
(University of Waterloo, 2016-09-15)Static program analysis is a powerful technique for maintaining software, with applications such as compiler optimizations, code refactoring, and bug finding. Static analyzers are typically implemented in general-purpose ...