发表于2024-12-03
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of 2024 pdf epub mobi 电子书
图书标签: 编程语言
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.
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of 2024 pdf epub mobi 电子书