Checking API protocol compliance in java

Authors:
Kevin Bierhoff
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 4
Cited 0

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering
Modular typestate checking of aliased objects

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
PLURAL: checking protocol compliance under aliasing

Companion of the 30th international conference on Software engineering
Checking interference with fractional permissions

SAS'03 Proceedings of the 10th international conference on Static analysis

Quantified Score

Hi-index	0.00

Visualization

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.