𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] ECOOP 2001 — Object-Oriented Programming Volume 2072 || A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests

✍ Scribed by Knudsen, Jørgen Lindskov


Book ID
124153853
Publisher
Springer Berlin Heidelberg
Year
2001
Tongue
English
Weight
447 KB
Edition
2
Category
Article
ISBN
3540453377

No coin nor oath required. For personal study only.

✦ Synopsis


This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.