-R. Cousot/D-A. Schmidt (Eds.): Static Analysis. Proceedings 1996, Springer-Verlag 1996