-P. Cousot/M. Falaschi/G. File/A. Rauzy (Eds.): Static Analysis, Springer-Verlag Proceedings 1993