Precise concrete type inference for object-oriented languages

Concrete type information is invaluable for program optimization. The determination of concrete types in object-oriented languages is a flow sensitive global data flow problem. It is made difficult by dynamic dispatch (virtual function invocation) and first class functions (and selectors)-the very p...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Plevyak, John, Chien, Andrew A.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Software and its engineering > Software notations and tools > General programming languages > Language types > Object oriented languages Theory of computation > Semantics and reasoning > Program constructs > Type structures
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!