Modular typestate checking of aliased objects

  title={Modular typestate checking of aliased objects},
  author={Kevin Bierhoff and Jonathan Aldrich},
Objects often define usage protocols that clients must follow inorder for these objects to work properly. Aliasing makes itnotoriously difficult to check whether clients and implementations are compliant with such protocols. Accordingly, existing approaches either operate globally or severely restrict aliasing. We have developed a sound modular protocol checking approach, based on typestates, that allows a great deal of flexibility in aliasing while guaranteeing the absence of protocol… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 195 citations. REVIEW CITATIONS

10 Figures & Tables



Citations per Year

196 Citations

Semantic Scholar estimates that this publication has 196 citations based on the available data.

See our FAQ for additional information.