𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Bloom, B.; Istrail, S.; Meyer, A. R.

Book ID: 120560387
Publisher: ACM Press
Year: 1988
Weight: 966 KB
Category: Article
ISBN-13: 9780897912525
DOI: 10.1145/73560.73580

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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 - Inheritance in smalltalk-80: a denotational definition

✍ Kamin, S. 📂 Article 📅 1988 🏛 ACM Press ⚖ 786 KB

[ACM Press the 17th ACM SIGPLAN-SIGACT s

[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

✍ Lafont, Yves 📂 Article 📅 1990 🏛 ACM Press ⚖ 781 KB

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