Towards abstract interpretation for recovering design information

Electronic Notes in Theoretical Computer Science

Volumn 131, Issue , 2005, Pages 15-25

  De Roover, Coen ^a   Gybels, Kris ^a   D'Hondt, Theo ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Abstract interpretation; Design recovery; Dynamic analysis; Logic meta programming

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; INFORMATION ANALYSIS; OBJECT ORIENTED PROGRAMMING; PROGRAM INTERPRETERS;

ABSTRACT INTERPRETATION; DESIGN RECOVERY; DYNAMIC ANALYSIS; LOGIC META PROGRAMMING;

ABSTRACTING;

EID: 19044394504     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.01.019     Document Type: Conference Paper

References (12)

1. Coen De Roover. Incorporating dynamic analysis and approximate reasoning in declarative meta-programming to support software re-engineering. Licentiate's thesis, Vrije Universiteit Brussel, 2004
2. Johan Fabry, and Tom Mens Language-independent detection of object-oriented design patterns Elsevier International Journal: Computer Languages, Systems and Structures 2003
3. Peter Flach Simply Logical 1994 John Wiley & Sons
4. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides Design Patterns: elements of reusable Object-Oriented software 1995 Addison-Wesley
5. Adele Goldberg, and Dave Robson Smalltalk-80: the language 1983 Addison-Wesley
6. Kris Gybels. Soul and smalltalk - just married: Evolution of the interaction between a logic and an object-oriented language towards symbiosis. In Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages, 2003
7. Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. In Proceedings of the 13th SEKE Conference, 2001
8. Tom Mens and Tom Tourwé. A declarative evolution framework for object-oriented design patterns. In Proceedings of Int. Conf. on Software Maintenance, 2001
9. Lutz Prechelt, Barbara Unger-Lamprecht, Michael Philippsen, and Walter F. Tichy Two controlled experiments assessing the usefulness of design pattern documentation in program maintenance IEEE Trans. Softw. Eng. 28 6 2002 595 606
10. Roel Wuyts Declarative reasoning about the structure of object-oriented systems Proceedings of TOOLS-USA 1998 1998
11. Roel Wuyts. A Logic Meta Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Vrije Universiteit Brussel, 2001
12. Roel Wuyts, and Kim Mens Declaratively codifying software architectures using virtual software classifications Proceedings of TOOLS-Europe 1999 1999