2 search results - page 1 / 1 » PLURAL: checking protocol compliance under aliasing |
87
Voted
ICSE
2008
IEEE-ACM
16 years 6 days ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
185
Voted
ECOOP
2009
Springer
16 years 23 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...