Browsing Computer Science by Author "Yee, Ming-Ho"
Now showing items 1-1 of 1
-
Implementing a Functional Language for Flix
Yee, Ming-Ho (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 ...