Browsing Theses by Subject "C∀"
Now showing items 1-2 of 2
-
Concurrency in C∀
(University of Waterloo, 2018-01-18)C∀ is a modern, non-object-oriented extension of the C programming language. This thesis serves as a definition and an implementation for the concurrency and parallelism C∀ offers. These features are created from scratch ... -
C∀ Type System Implementation
(University of Waterloo, 2019-04-30)The C programming language has been an important software development tool for decades. C∀ is a new programming language designed with strong backwards-compatibility to take advantage of widely distributed C programming ...