Sciweavers

Share
TOOLS
1998
IEEE

Declarative Reasoning about the Structure of Object-Oriented Systems

9 years 1 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe problems to developers and maintainers who want to use, extend or adapt those systems. This paper advocates the use of a logic meta-language to express and extract structural relationships in class-based object-oriented systems. As validation the logic meta-language SOUL was implemented and used to construct a declarative framework that allows reasoning about the structure of Smalltalk programs. The declarative framework's usefulness is illustrated by expressing di erent high-level structural relationships such as those described by design patterns.
Roel Wuyts
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where TOOLS
Authors Roel Wuyts
Comments (0)
books