𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Pick your contexts well

✍ Scribed by Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej

Book ID
120707714
Publisher
ACM Press
Year
2011
Weight
466 KB
Category
Article
ISBN
1450304907

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 38th annual ACM SIGPLAN-S
[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Pick your contexts well
✍ Smaragdakis, Yannis; Bravenboer, Martin; Lhoták, Ondrej 📂 Article 📅 2011 🏛 ACM Press ⚖ 466 KB

Object-sensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorly understood. For instance, for a context depth of 2 or higher, past scalable implementations deviate significant

[ACM Press the 38th annual ACM SIGPLAN-S
[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Generative type abstraction and type-level computation
✍ Weirich, Stephanie; Vytiniotis, Dimitrios; Peyton Jones, Simon; Zdancewic, Steve 📂 Article 📅 2011 🏛 ACM Press ⚖ 569 KB

Modular languages support generative type abstraction, ensuring that an abstract type is distinct from its representation, except inside the implementation where the two are synonymous. We show that this well-established feature is in tension with the non-parametric features of newer type systems, s