%0 Conference Paper %1 conf/popl/AssafNSTT17 %A Assaf, Mounir %A Naumann, David A. %A Signoles, Julien %A Totel, Eric %A Tronel, Frédéric %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 874-887 %T Hypercollecting semantics and its application to static analysis of information flow. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#AssafNSTT17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/AssafNSTT17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Assaf, Mounir and Naumann, David A. and Signoles, Julien and Totel, Eric and Tronel, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/2bd0eaf81882cc9cae0c7cd56b60a4bb2/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009889}, interhash = {60181e9d83265e7da69c4e9ac1a3397f}, intrahash = {bd0eaf81882cc9cae0c7cd56b60a4bb2}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {874-887}, publisher = {ACM}, timestamp = {2024-05-13T09:12:08.000+0200}, title = {Hypercollecting semantics and its application to static analysis of information flow.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#AssafNSTT17}, year = 2017 }