Title: Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995