Checking framework plugins

Ciera Jaspan, Jonathan Aldrich
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
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.
doi:10.1145/1297846.1297892 dblp:conf/oopsla/JaspanA07 fatcat:rjoauldo6zawvn7txehnutapra