Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-2620
Authors: Staiger, Stefan
Vogel, Gunther
Keul, Steffen
Wiebe, Eduard
Title: Interprocedural static single assignment form in Bauhaus
Issue Date: 2007
metadata.ubs.publikation.typ: Arbeitspapier
Series/Report no.: Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2007,3
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33387
http://elib.uni-stuttgart.de/handle/11682/2637
http://dx.doi.org/10.18419/opus-2620
Abstract: 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.
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
TR_2007_03.pdf295,71 kBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.