D. H. F. Lui

• Elimination of dynamic program errors by static analysis