Proceedings of the 1st International Static Analysis Symposium (SAS'94), Springer LNCS 864, 1994

(1994)