This book constitutes the refereed proceedings of the 8th European Symposium on Programming, ESOP'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 18 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Among the topics addressed are program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming, code splicing, parsing, and static incrementalization.

Скачать книгу бесплатно (pdf, 2.21 Mb)

---

Читать «Programming Languages and Systems, 8 conf., ESOP'99»