Checking framework plugins

Authors:
Ciera Jaspan;Jonathan Aldrich
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA
Venue:
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Year:
2007

Citing 4
Cited 2

Contracts: specifying behavioral compositions in object-oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Deriving object typestates in the presence of inter-object references

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using SCL to Specify and Check Design Intent in Source Code

IEEE Transactions on Software Engineering
Generalized typestate checking for data structure consistency

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Enforcing object protocols by combining static and runtime analysis

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Runtime Monitoring of Object Invariants with Guarantee

Runtime Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software frameworks contain many internal constraints which plugins cannot break. These constraints are relative to the context of the plugin, and they can involve multiple framework objects. This work creates a lightweight mechanism specifying semantic constraints on the framework and checking plugins against this specification.