Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems
Type
Publication
46th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2019, January 16-18, 2019, Lisbon, Portugal
Date
January, 2018
Links
