Global Program Analysis in an Interactive Environment SSL-80-1 History Bibliography Global Program Analysis in an Interactive Environment SSL-80-1 Authors: Masinter, Larry Melvin Item type: Thesis