TY - THES A1 - Mian Syed, Ahmed T1 - Eine ökonomische statische Analysemethode zur Berechnung von Relational Attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse N2 - 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. KW - Softwareproduktion KW - Programmanalyse KW - CASHE Y1 - 2004 UR - https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/30 UR - https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-333 ER -