Browsing Mathematics (Faculty of) by Subject "program analysis"
Now showing items 1-2 of 2
-
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 ... -
Probabilistic Program Analysis for Software Component Reliability
(University of Waterloo, 2002)Components are widely seen by software engineers as an important technology to address the "software crisis''. An important aspect of components in other areas of engineering is that system reliability can be estimated ...