[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Interaction nets

[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

[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 - A temporal fixpoint calculus

✍ Vardi, M. Y. 📂 Article 📅 1988 🏛 ACM Press ⚖ 937 KB

[ACM Press the 41st ACM SIGPLAN-SIGACT S

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Abstract satisfaction

✍ D'Silva, Vijay; Haller, Leopold; Kroening, Daniel 📂 Article 📅 2014 🏛 ACM Press ⚖ 694 KB

[ACM Press the 41st ACM SIGPLAN-SIGACT S

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Abstract satisfaction

✍ D'Silva, Vijay; Haller, Leopold; Kroening, Daniel 📂 Article 📅 2014 🏛 ACM Press ⚖ 694 KB

This article introduces an abstract interpretation framework that codifies the operations in SAT and SMT solvers in terms of lattices, transformers and fixed points. We develop the idea that a formula denotes a set of models in a universe of structures. This set of models has characterizations as fi

[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 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