@phdthesis{MianSyed2003, author = {Mian Syed, Ahmed}, title = {Eine {\"o}konomische statische Analysemethode zur Berechnung von Relational Attributes mittels regul{\"a}rer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-333}, school = {Universit{\"a}t Passau}, year = {2003}, abstract = {Ziel der Arbeit ist es, eine neue Programmanalysetechnik f{\"u}r Zeigeranalyse zu entwickeln. Diese soll exakt in dem Sinne sein, daß sie nur Ergebnisse berechnet, die tats{\"a}chlich in realen Programml{\"a}ufen vorkommen k{\"o}nnen, Ebenso soll diese Analysetechnik {\"o}konomisch sein, d.h. nur den minimal f{\"u}r eine exakte L{\"o}sung ben{\"o}tigten Berechnungsaufwand investieren m{\"u}ssen.}, subject = {Softwareproduktion}, language = {de} }