Checking framework interactions with relationships

Authors:
Ciera Jaspan
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 4
Cited 0

Frameworks = (components + patterns)

Communications of the ACM
Parametric shape analysis via 3-valued logic

ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking semantic usage of frameworks

LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
First-class relationships in an object-oriented language

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many constraints between object oriented frameworks and plugins can be defined by specifications that describe how multiple objects relate and change their relationships over time. A tool can statically check a plugin's conformance to these specifications in a cost-effective manner and can add benefit or even replace custom tools for plugin development.