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
ISBN: 9783540418627
出版社: 1 edition (2001年4月1日)
出版年: 2001-4
页数: 431
定价: 110.00
装帧: 平装
内容简介
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.