OPUS - Passau

Bibliographische Daten und PDF-Volltexte aus der Universität Passau
... die Wissenschaft der Hochschule sichtbar machen!

Home

Suchen

Melden

Veröffentlichen

Hilfe

Kontakt

OPUS-Frontdoor

Mian Syed, Ahmed

Eine ökonomische statische Analysemethode zur Berechnung von Relational Attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse

Open Access: Freier Zugang zum Volltext!

pdf-Format:

Dokument 1.pdf (3.429 KB)

SWD-Schlagwörter:		Softwareproduktion , Programmanalyse , CASHE
Beteiligte Einrichtung:		Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Fakultät:		Fakultät für Informatik und Mathematik
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Steffen, Bernhard (Prof. Dr. )
Sprache:		Deutsch
Tag der mündlichen Prüfung:		10.07.2003
Erstellungsjahr:		2003
Publikationsdatum:		08.03.2004
Bemerkung:		Die Dissertation wurde in OPUS Passau am 3.02.2004 veröffentlicht. Der Eintrag Publikationsdatum 8.03.2004 ist durch Serverumstellung/Datenbankwechsel entstanden.
Kurzfassung auf Deutsch:		Ziel der Arbeit ist es, eine neue Programmanalysetechnik für Zeigeranalyse zu entwickeln. Diese soll exakt in dem Sinne sein, daß sie nur Ergebnisse berechnet, die tatsächlich in realen Programmläufen vorkommen können, Ebenso soll diese Analysetechnik ökonomisch sein, d.h. nur den minimal für eine exakte Lösung benötigten Berechnungsaufwand investieren müssen.

Hinweis zum Urheberrecht

URN: http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-333
URL dieser Seite: http://www.opus-bayern.de/uni-passau/volltexte/2004/33/