Efficient subtyping tests with PQ-encoding

Given a type hierarchy, a subtyping test determines whether one type is a direct or indirect descendant of another type. Such tests are a frequent operation during the execution of object-oriented programs. The implementation challenge is in a space-efficient encoding of the type hierarchy that simu...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on programming languages and systems 2005-09, Vol.27 (5), p.819-856
Hauptverfasser:	GIL, Joseph, ZIBIN, Yoav
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Inheritances Language theory and syntactical analysis Optimization techniques Software Software engineering Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!