University of Limerick Institutional Repository

Reachability analysis for annotated code

DSpace Repository

Show simple item record

dc.contributor.author Janota, Mikolas
dc.contributor.author Grigore, Radu
dc.contributor.author Moskal, Michal
dc.date.accessioned 2012-06-12T09:47:44Z
dc.date.available 2012-06-12T09:47:44Z
dc.date.issued 2007
dc.identifier.citation 6th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) collocated with the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FS) en_US
dc.identifier.uri http://hdl.handle.net/10344/2258
dc.description peer-reviewed en_US
dc.description.abstract We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. We applied the analysis to existing annotated code and uncovered errors that were unknown to the developers. We present the algorithm performing the analysis and discuss errors that it detects. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery
dc.relation.ispartofseries SAVCBS 2007;
dc.relation.uri http://dx.doi.org/10.1145/1292316.1292319
dc.rights "© ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SAVCBS '07 http://dx.doi.org/10.1145/1292316.1292319
dc.subject analysis en_US
dc.subject existing annotated code en_US
dc.title Reachability analysis for annotated code en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics