𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Hirota, Noriko; Asai, Kenichi

Book ID: 126973306
Publisher: ACM Press
Year: 2014
Weight: 340 KB
Category: Article
ISBN: 145032567X
DOI: 10.1145/2541568.2541572

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Effective quotation

✍ Cheney, James; Lindley, Sam; Radanne, Gabriel; Wadler, Philip 📂 Article 📅 2014 🏛 ACM Press ⚖ 830 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Compile-time reflection and metaprogramming for Java

✍ Miao, Weiyu; Siek, Jeremy 📂 Article 📅 2014 🏛 ACM Press ⚖ 499 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Combinators for impure yet hygienic code generation

✍ Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-chieh 📂 Article 📅 2014 🏛 ACM Press ⚖ 563 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Generating attribute grammar-based bidirectional transformations from rewrite rules

✍ Martins, Pedro; Saraiva, João; Fernandes, João Paulo; Van Wyk, Eric 📂 Article 📅 2014 🏛 ACM Press ⚖ 573 KB