[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Checking that finite state concurrent programs satisfy their linear specification

[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 29th ACM SIGPLAN-SIGACT s

[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

✍ Ammons, Glenn; Bodík, Rastislav; Larus, James R. 📂 Article 📅 2002 🏛 ACM Press ⚖ 299 KB

[ACM Press the 30th ACM SIGPLAN-SIGACT s

[ACM Press the 30th ACM SIGPLAN-SIGACT symposium - New Orleans, Louisiana, USA (2003.01.15-2003.01.17)] Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03 - Bigraphs and transitions

✍ Jensen, Ole Høgh; Milner, Robin 📂 Article 📅 2003 🏛 ACM Press 🌐 English ⚖ 306 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

[ACM Press the 15th ACM SIGPLAN-SIGACT s

[ACM Press the 15th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1988.01.10-1988.01.13)] Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 - Bisimulation can't be traced

✍ Bloom, B.; Istrail, S.; Meyer, A. R. 📂 Article 📅 1988 🏛 ACM Press ⚖ 966 KB