Programmers creating mission-critical applications — embedded control applications, industrial monitoring applications, and high-performance test systems — cannot afford to introduce errors or uncertainty into the system. The stakes are especially high in medical applications, where failure can often lead to patient injury and costly product recalls.