Status report on JSR-305: Annotations for Software Defect Detection David Hovemeyer William Pugh

First Page		Document Content
Date: 2014-08-22 12:24:22 Cross-platform software Java programming language Java specification requests Java Community Process Java Platform Standard Edition Java Management Extensions Annotation Java JSR 250 Computing Java platform Computing platforms		Status report on JSR-305: Annotations for Software Defect Detection David Hovemeyer William Pugh Add to Reading List Source URL: faculty.ycp.edu Download Document from Source Website File Size: 151,39 KB Share Document on Facebook

	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xV0o - View Document
	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xUSb - View Document
	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 DocID: 1xUOd - View Document
	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev DocID: 1xUMO - View Document
	Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract DocID: 1xUzV - View Document