--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Johannes foaf_name: Späth, Johannes foaf_surname: Späth - foaf_Person: foaf_givenName: Karim foaf_name: Ali, Karim foaf_surname: Ali - foaf_Person: foaf_givenName: Eric foaf_name: Bodden, Eric foaf_surname: Bodden foaf_workInfoHomepage: http://www.librecat.org/personId=59256 orcid: 0000-0003-3470-3647 bibo_doi: 10.1145/3290361 bibo_issue: POPL bibo_volume: 3 dct_date: 2019^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/2475-1421 dct_language: eng dct_publisher: ACM@ dct_subject: - ATTRACT - ITSECWEBSITE - CROSSING dct_title: Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems@ ...