Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel. Hypercollecting semantics and its application to static analysis of information flow. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 874-887, ACM, 2017. [doi]
Abstract is missing.