Last updated March 2009
Checking API Protocol Compliance in Java.
Research competition abstract in Companion Proceedings of
the 23rd ACM Conference on
Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA '08), Nashville, TN, USA, October
19-23, 2008, pages 915-916. ACM Press, New York, October 2008.
This paper won first prize in the graduate category at the OOPSLA '08 ACM Student Research Competition.
Abstract. Reusable APIs often define usage protocols. The author previously developed a sound and modular type system that checks compliance to typestate-based protocols while affording a great deal of aliasing flexibility. This paper focuses on making these ideas available in tools for mainstream object-oriented languages and evaluating their practical effectiveness.