[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Mining specifications

[ACM Press the 40th annual ACM SIGPLAN-S

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - HALO

✍ Vytiniotis, Dimitrios; Peyton Jones, Simon; Claessen, Koen; Rosén, Dan 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 551 KB

[ACM Press the 14th ACM SIGACT-SIGPLAN s

[ACM Press the 14th ACM SIGACT-SIGPLAN symposium - Munich, West Germany (1987.01.21-1987.01.23)] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 - Constraint logic programming

✍ Jaffar, J.; Lassez, J.-L. 📂 Article 📅 1987 🏛 ACM Press 🌐 English ⚖ 708 KB

[ACM Press the 14th ACM SIGACT-SIGPLAN s

[ACM Press the 14th ACM SIGACT-SIGPLAN symposium - Munich, West Germany (1987.01.21-1987.01.23)] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 - Constraint logic programming

✍ Jaffar, J.; Lassez, J.-L. 📂 Article 📅 1987 🏛 ACM Press 🌐 English ⚖ 708 KB

[ACM Press the 16th ACM SIGPLAN-SIGACT s

[ACM Press the 16th ACM SIGPLAN-SIGACT symposium - Austin, Texas, United States (1989.01.11-1989.01.13)] Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89 - The program dependence graph and vectorization

✍ Baxter, W.; Bauer, H. R. 📂 Article 📅 1989 🏛 ACM Press 🌐 English ⚖ 1020 KB

[ACM Press the 39th annual ACM SIGPLAN-S

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Programming languages for programmable networks

✍ Rexford, Jennifer 📂 Article 📅 2012 🏛 ACM Press 🌐 English ⚖ 279 KB

[ACM Press the 39th annual ACM SIGPLAN-S

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Programming languages for programmable networks

✍ Rexford, Jennifer 📂 Article 📅 2012 🏛 ACM Press 🌐 English ⚖ 279 KB

Today's computer networks perform a bewildering array of tasks, from routing and access control, to traffic monitoring and load balancing. To support wireless users accessing services hosted in the cloud, enterprise and data-center networks are under increasing pressure to support client mobility, v