TY - BOOK AU - Mycroft,Alan ED - International Static Analysis Symposium TI - Static analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings SN - 3540603603 AV - QA76.6 I5733 1995 PY - 1995/// CY - Berlin PB - Springer-Verlag KW - Electronic digital computers KW - Programming KW - Congresses KW - Programming languages (Electronic computers) ER -