[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

[ACM Press the 2007 ACM SIGPLAN conferen

✍ 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

[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 - Automatically classifying benign and harmful data racesallusing replay analysis

✍ Narayanasamy, Satish; Wang, Zhenghao; Tigani, Jordan; Edwards, Andrew; Calder, B 📂 Article 📅 2007 🏛 ACM Press ⚖ 268 KB

[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 - Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

✍ Li, Peng; Zdancewic, Steve 📂 Article 📅 2007 🏛 ACM Press ⚖ 773 KB

[ACM Press the third ACM SIGPLAN confere

[ACM Press the third ACM SIGPLAN conference - San Diego, California (2007.06.09-2007.06.10)] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III - AppleScript

✍ ACM - Association for Computing Machinery 📂 Article 📅 2007 🏛 Association for Computing Machinery 🌐 English ⚖ 607 KB

[ACM Press the third ACM SIGPLAN confere

[ACM Press the third ACM SIGPLAN conference - San Diego, California (2007.06.09-2007.06.10)] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III - AppleScript

✍ ACM - Association for Computing Machinery 📂 Library 📅 2007 🏛 Association for Computing Machinery 🌐 English ⚖ 9 MB

[ACM Press the 2007 ACM SIGPLAN/SIGBED c

[ACM Press the 2007 ACM SIGPLAN/SIGBED conference - San Diego, California, USA (2007.06.13-2007.06.15)] Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools - LCTES '07 - Compiler-directed application mapping for NoC based chip multiprocessors

✍ Chen, Guangyu; Li, Feihui; Kandemir, Mahmut 📂 Article 📅 2007 🏛 ACM Press ⚖ 219 KB