Publisher
Springer International Publishing
Reference200 articles.
1. chapter 7;P Aczel,1977
2. J. Alglave and P. Cousot. Syntax and analytic semantics of LISA. CoRR, abs/1608.06583, 2016.
3. J. Alglave and P. Cousot. Ogre and Pythia: an invariance proof method for weak consistency models. In POPL, pages 3–18. ACM, 2017.
4. J. Alglave, P. Cousot, and L. Maranget. Syntax and semantics of the weak consistency model specification language cat. CoRR, abs/1608.07531, 2016.
5. F.E. Allen. Control flow analysis. In Proceedings of a Symposium on Compiler Optimization, pages 1–19. ACM, 1970.