Towards Abstract Interpretation for Recovering Design Information

It is a well-known problem that design information of object-oriented programs is often lost or is not kept up-to-date when the program evolves. This design information can be recovered from the program using such techniques as logic meta programming. In this technique logic queries are used to chec...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 131; S. 15 - 25
Hauptverfasser:	De Roover, Coen, Gybels, Kris, D'Hondt, Theo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 24.05.2005
Schlagworte:	abstract interpretation design recovery dynamic analysis logic meta programming design recovery dynamic analysis abstract interpretation logic meta programming
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!