onierstrasz / TraitsModel

Project infos

License	MIT
Tags
Creation date	2013-05-14
Website

Monticello registrationMCHttpRepository location: 'http://smalltalkhub.com/mc/onierstrasz/TraitsModel/main' user: '' password: ''

About TraitsModel

Implementation of the Traits formal model. The TraitsModel package contains the implementation of the model from the TOPLAS paper (http://doi.acm.org/10.1145/1119479.1119483). The StatefulTraitsModel contains a new model intended to capture state as well.