Golubski, WolfgangWolfgangGolubski2019-09-022006-10-302019-09-021997https://dspace.ub.uni-siegen.de/handle/ubsi/172Objekt-orientierte Programmiersprachen ausgestattet mit Vererbungsmechanismen unterstützen vor allem schnelle Prototypentwicklung von Programmen und haben einen hohen Grad an Wiederverwendbarkeit von existierenden Ressourcen. Einen kritischen Punkt der objekt-orientierten Programmiersprachen stellt ihre Implementierung dar. Abgesehen von erheblichem Speicherplatzbedarf eines objekt-orientierten Systems kämpfen Programme dieser Sprachen im Gegensatz zu gleichbedeutenden C/C++-Programmen mit ihrer "problematischen" Laufzeiteffizienz. Daher spielen Optimierungstechniken für objekt-orientierte Sprachen zur Steigerung der Effizienz eine übergeordnete Rolle. Die vorliegende Arbeit beschäftigt sich mit einem Modell zur statischen Analyse von ungetypten objekt-orientierten Programmen. Die behandelte Programmiersprache ist eine Smalltalk-80-artige Sprache.dehttps://dspace.ub.uni-siegen.de/static/license.txt004 InformatikProgrammierungObjekt-orientierte SystemeDatenflussanalyseHabilitationurn:nbn:de:hbz:467-1724