3 ms·
Which is a fairly simple application of well known typestate analysis?
by DannyBee 12y ago
Which is a fairly simple application of well known typestate analysis?
- kenjackson 12y agoI'm not sure it's simple, but it is related. If you read their paper you'll see they talk about the relationship of this work to Bierhoff and Aldrich's paper "Modular TypeState Checking of Alised Objects" and Naden, et al's paper on Permissions.