Programming Languages and Systems : 10th European Symposium on Programming ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2–6 2001 Proceedings This book constitutes the refereed proceedings of the 10th European Symposium on Programming ESOP 2001 held in Genova Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics covered are various programming paradigms (including functional logic concurrent and object oriented programming) and their integration; development of correct secure and efficient software and systems; and type systems program analysis and program transformation