๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Automatically classifying benign and harmful data racesallusing replay analysis

โœ Scribed by Narayanasamy, Satish; Wang, Zhenghao; Tigani, Jordan; Edwards, Andrew; Calder, Brad

Book ID
124161050
Publisher
ACM Press
Year
2007
Weight
268 KB
Category
Article
ISBN
1595936335

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 2007 ACM SIGPLAN conferen
[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Searching for type-error messages
โœ Lerner, Benjamin S.; Flower, Matthew; Grossman, Dan; Chambers, Craig ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› ACM Press โš– 398 KB

Advanced type systems often need some form of type inference to reduce the burden of explicit typing, but type inference often leads to poor error messages for ill-typed programs. This work pursues a new approach to constructing compilers and presenting typeerror messages in which the type-checker i