Datenflußanalyse in objekt-orientierten Programmiersprachen : von der Theorie zur Praxis

Abstract

Objekt-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.