𝔖 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 - Generative type abstraction and type-level computation

✍ Scribed by Weirich, Stephanie; Vytiniotis, Dimitrios; Peyton Jones, Simon; Zdancewic, Steve

Book ID
120709685
Publisher
ACM Press
Year
2011
Weight
569 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 - 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

[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