Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2620
Autor(en): | Staiger, Stefan Vogel, Gunther Keul, Steffen Wiebe, Eduard |
Titel: | Interprocedural static single assignment form in Bauhaus |
Erscheinungsdatum: | 2007 |
Dokumentart: | Arbeitspapier |
Serie/Report Nr.: | 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 |
Zusammenfassung: | 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. |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TR_2007_03.pdf | 295,71 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.