Abstract
No abstract available.
Cited By
- Hackett F, Hosseini S, Costa R, Do M and Beschastnikh I Compiling Distributed System Models with PGo Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, (159-175)
- Lahav O and Boker U Decidable verification under a causally consistent shared memory Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, (211-226)
- Bohrer R and Crary K TWAM: A Certifying Abstract Machine for Logic Programs Verified Software. Theories, Tools, and Experiments, (112-134)
Index Terms
- Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
Please enable JavaScript to view thecomments powered by Disqus.