Author:
Abadi Martín,Plotkin Gordon
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of transactional memory and automatic mutual exclusion.Proc. 35th. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages(eds. George C. Necula and Philip Wadler), 63-74, ACM Press, 2008.
2. A logical view of composition
3. Martín Abadi and Gordon D. Plotkin. A model of cooperative threads.Proc. 36th. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages(eds. Zhong Shao and Benjamin C. Pierce), 29-40, ACM Press, 2009.
4. Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, and John R. Douceur. Cooperative task management without manual stack management.USENIXAnnual Technical Conf., General Track (ed. Carla Schlatter Ellis), 289-302, 2002.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Semantics for Shared-Variable Concurrency;Proceedings of the ACM on Programming Languages;2024-06-20
2. A Denotational Approach to Release/Acquire Concurrency;Lecture Notes in Computer Science;2024
3. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq;Proceedings of the ACM on Programming Languages;2023-01-09
4. An Algebraic Theory for Shared-State Concurrency;Programming Languages and Systems;2022
5. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21