Checking API protocol compliance in java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Checking API protocol compliance in java

Full text

Pdf (243 KB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications table of contents

Nashville, TN, USA

SESSION: Student research competition table of contents

Pages 915-916

Year of Publication: 2008

ISBN:978-1-60558-220-7

Author

Kevin Bierhoff

Carnegie Mellon University, Pittsburgh, PA, USA

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 36, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1449814.1449906 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. Barnett, R. DeLine, M. Fahndrich, K. R. M. Leino, and W. Schulte. Verification of object-oriented programs with invariants. phJournal of Object Technology, 3 (6): 27--56, June 2004.
	2	Kevin Bierhoff , Jonathan Aldrich, Modular typestate checking of aliased objects, Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, October 21-25, 2007, Montreal, Quebec, Canada
	3	Kevin Bierhoff , Jonathan Aldrich, PLURAL: checking protocol compliance under aliasing, Companion of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany [doi>10.1145/1370175.1370213]
	4	J. Boyland. Checking interference with fractional permissions. In SAS, pages 55--72. Springer, 2003.
	5	R. DeLine and M. Fahndrich. Typestates for objects. In ECOOP, pages 465--490. Springer, 2004.
	6	R E Strom , S Yemini, Typestate: A programming language concept for enhancing software reliability, IEEE Transactions on Software Engineering, v.12 n.1, p.157-171, Jan. 1986