Autor:	Staiger, Stefan, Vogel, Gunther, Keul, Steffen, Wiebe, Eduard
Jazyk:	angličtina
Rok vydání:	2007
Předmět:	Bauhaus Datenfluss Formale Semantik interprocedural static single assignment ISSA
DOI:	10.18419/opus-2620
Popis:	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 analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of (may and must) side effects and optimizations like pruning definitions with simple linear-time algorithms. This paper also provides comprehensive test results and statistics for a large test suite.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f11ebf92a8852cbef5a93c89243b0b8 Zobrazit plný text záznamu