James H. Cross

• GRASP/Ada
• GRASP/Ada 95
• The development of a program analysis environment for Ada