JavaScript is disabled for your browser. Some features of this site may not work without it.
Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email jordan.hale@uwaterloo.ca as soon as possible. We are very sorry for the inconvenience.
Browsing Mathematics (Faculty of) by Author "Yee, Ming-Ho"
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 ...