Complexity of points-to analysis of Java in the presence of exceptions

At each program point, points-to analysis for statically typed object oriented programming languages (e.g., Java, C++) determines those objects to which a reference may refer (or a pointer may point) during execution. Points-to analysis is necessary for any semantics based software tools for object...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 2001-06, Vol.27 (6), p.481-512
Hauptverfasser:	Chatterjee, R., Ryder, B.G., Landi, W.A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithm design and analysis Algorithms C plus plus Complexity Computer programs Dynamic tests Dynamics Information analysis Java Java (programming language) Object oriented Object oriented modeling Object oriented programming Polynomials Programming languages Robustness Runtime Software engineering Software tools Software upgrading Studies
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!