Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Datenfluss , Formale Semantik"'
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f11ebf92a8852cbef5a93c89243b0b8
