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

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 131; pp. 15 - 25
Main Authors:	De Roover, Coen, Gybels, Kris, D'Hondt, Theo
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 24.05.2005
Subjects:	abstract interpretation design recovery dynamic analysis logic meta programming design recovery dynamic analysis abstract interpretation logic meta programming
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!