𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the sixth workshop - Philadelphia, Pennsylvania, USA (2012.01.24-2012.01.24)] Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12 - Dependent interoperability

✍ Scribed by Osera, Peter-Michael; Sjöberg, Vilhelm; Zdancewic, Steve

Book ID: 125542509
Publisher: ACM Press
Year: 2012
Weight: 625 KB
Category: Article
ISBN: 1450311253
DOI: 10.1145/2103776.2103779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the ACM SIGPLAN 2012 workshop

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Specification and verification of meta-programs

✍ Berger, Martin 📂 Article 📅 2012 🏛 ACM Press ⚖ 332 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.21-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14 - Programming languages for high-assurance autonomous vehicles

✍ Pike, Lee; Hickey, Patrick; Bielman, James; Elliott, Trevor; DuBuisson, Thomas; 📂 Article 📅 2014 🏛 ACM Press ⚖ 337 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.21-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14 - Refinement types for Haskell

✍ Jhala, Ranjit 📂 Article 📅 2014 🏛 ACM Press ⚖ 356 KB

[ACM Press the 7th workshop - Philadelph

[ACM Press the 7th workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming - DAMP '12 - Expressive array constructs in an embedded GPU kernel programming language

✍ Claessen, Koen; Sheeran, Mary; Svensson, Bo Joel 📂 Article 📅 2012 🏛 ACM Press ⚖ 522 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.21-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14 - Formalizing a correctness property of a type-directed partial evaluator

✍ Hirota, Noriko; Asai, Kenichi 📂 Article 📅 2014 🏛 ACM Press ⚖ 340 KB

[ACM Press the 8th ACM SIGPLAN workshop

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Semantics for graphical user interfaces

✍ Krishnaswami, Neelakantan R. 📂 Article 📅 2012 🏛 ACM Press ⚖ 328 KB