Status report on JSR-305

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Status report on JSR-305: annotations for software defect detection

Full text

Pdf (155 KB)

Source

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

Montreal, Quebec, Canada

POSTER SESSION: Posters table of contents

Pages: 799 - 800

Year of Publication: 2007

ISBN:978-1-59593-865-7

Authors

David Hovemeyer	York College of Pennsylvania, York, PA
William Pugh	University of Maryland, College Park, MD

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 45, 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/1297846.1297894 What is a DOI?

ABSTRACT

Java Specification Request 305 defines a set of annotations that can understood by multiple static analysis tools. Rather than push the bleeding edge of static analysis, this JSR represents an attempt to satisfy different static analysis tool vendors and address the engineering issues required to make these annotations widely useful.

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	Patrice Chalin, Early detection of JML specification errors using ESC/Java2, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon [doi>10.1145/1181195.1181201]
	2	FindBugs. http://findbugs.sourceforge.net, 2007.
	3	Jeffrey S. Foster , Manuel Fähndrich , Alexander Aiken, A theory of type qualifiers, Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, p.192-203, May 01-04, 1999, Atlanta, Georgia, United States
	4	IntelliJ. http://www.jetbrains.com/idea/, 2007.
	5	JSR 305: Annotations for Software Defect Detection. http://jcp.org/en/jsr/detail?id=305, 2007.
	6	JSR 308: Annotations on Java Types. http://jcp.org/en/jsr/detail?id=308, 2007.
	7	Gary T. Leavens , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006 [doi>10.1145/1127878.1127884]