Interprocedural static single assignment form in Bauhaus

Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-2620

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Staiger, Stefan	de
dc.contributor.author	Vogel, Gunther	de
dc.contributor.author	Keul, Steffen	de
dc.contributor.author	Wiebe, Eduard	de
dc.date.accessioned	2007-11-21	de
dc.date.accessioned	2016-03-31T07:58:45Z	-
dc.date.available	2007-11-21	de
dc.date.available	2016-03-31T07:58:45Z	-
dc.date.issued	2007	de
dc.identifier.other	275190811	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33387	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2637	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2620	-
dc.description.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.	en
dc.language.iso	en	de
dc.relation.ispartofseries	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2007,3	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Datenfluss , Formale Semantik	de
dc.subject.ddc	004	de
dc.subject.other	Bauhaus	de
dc.subject.other	interprocedural static single assignment , ISSA	en
dc.title	Interprocedural static single assignment form in Bauhaus	en
dc.type	workingPaper	de
dc.date.updated	2013-07-15	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Softwaretechnologie	de
ubs.opusid	3338	de
ubs.publikation.typ	Arbeitspapier	de
ubs.schriftenreihe.name	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik	de
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

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart