dc.contributor.author |
Pearce, David J |
|
dc.contributor.author |
Male, Chris |
|
dc.contributor.author |
Dymnikov, Constantine |
|
dc.contributor.author |
Potanin, Alex |
|
dc.date.accessioned |
2008-07-24T22:51:27Z |
|
dc.date.accessioned |
2022-07-06T22:23:29Z |
|
dc.date.available |
2008-07-24T22:51:27Z |
|
dc.date.available |
2022-07-06T22:23:29Z |
|
dc.date.copyright |
2008 |
|
dc.date.issued |
2008 |
|
dc.identifier.uri |
https://ir.wgtn.ac.nz/handle/123456789/18842 |
|
dc.description.abstract |
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algorithm. We extend this algorithm to verify non-null types using a novel technique that identifies aliasing relationships between local variables and stack locations in the JVM. We formalise this for a subset of Java Bytecode and report on experiences using our implementation. |
en_NZ |
dc.format |
pdf |
en_NZ |
dc.language.iso |
en_NZ |
|
dc.publisher |
Te Herenga Waka—Victoria University of Wellington |
en_NZ |
dc.relation.ispartofseries |
European Conferences on Theory and Practice of Software (ETAPS) |
en_NZ |
dc.relation.ispartofseries |
Budapest, Hungary |
en_NZ |
dc.relation.ispartofseries |
29 March - 6 April 2008 |
en_NZ |
dc.relation.ispartofseries |
Compiler Construction (CC) |
en_NZ |
dc.relation.uri |
doi:10.1007/978-3-540-78791-4_16 |
|
dc.rights |
The original publication is available at www.springerlink.com |
en_NZ |
dc.subject |
Non-null type verification |
en_NZ |
dc.subject |
Java programming |
en_NZ |
dc.subject |
NullPointerExceptions |
en_NZ |
dc.title |
Java Bytecode Verification for @NonNull Types |
en_NZ |
dc.type |
Text |
en_NZ |
vuwschema.contributor.unit |
School of Mathematics, Statistics and Computer Science |
en_NZ |
vuwschema.subject.marsden |
280303 Programming Languages |
en_NZ |
vuwschema.type.vuw |
Conference Contribution - Other |
en_NZ |
vuwschema.subject.anzsrcforV2 |
461204 Programming languages |
en_NZ |
dc.rights.rightsholder |
Springer |
en_NZ |