David R. Barstow

• Interactive programming environments
• Knowledge-based program construction