Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email firstname.lastname@example.org 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 ...