Matches in SemOpenAlex for { <https://semopenalex.org/work/W4255351349> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4255351349 endingPage "57" @default.
- W4255351349 startingPage "41" @default.
- W4255351349 abstract "The semantics of the Java programming language require that the out-of-bounds array accesses be caught at runtime. In general, this requires dynamic checks at the time the array element is accessed. Some of these checks can be eliminated statically during just-in-time (JIT) compilation, but the most precise analyses are too expensive to run in JIT compilers. This paper presents a framework in which thorough static range analyses can be used safely during the less-performance-critical compilation of Java source into machine-independent mobile code. In this framework, the static analysis results are used to derive proofs that certain linear inequality constraints hold. These linear constraints and their proofs are then added to the mobile code as annotations. The annotation framework is designed so that proofs can be verified efficiently. This allows the JIT compiler to safely eliminate array bounds checks during compilation without an expensive runtime analysis. Experiments with a prototype system that can generate and verify these annotations demonstrate that this framework is more precise than prior work and that verification is efficient. Copyright © 2008 John Wiley & Sons, Ltd." @default.
- W4255351349 created "2022-05-12" @default.
- W4255351349 creator A5036156102 @default.
- W4255351349 creator A5040103949 @default.
- W4255351349 creator A5050009335 @default.
- W4255351349 creator A5017451983 @default.
- W4255351349 date "2009-01-01" @default.
- W4255351349 modified "2023-09-30" @default.
- W4255351349 title "Safe bounds check annotations" @default.
- W4255351349 cites W1497762419 @default.
- W4255351349 cites W1976394633 @default.
- W4255351349 cites W1982205631 @default.
- W4255351349 cites W2027055567 @default.
- W4255351349 cites W2034711041 @default.
- W4255351349 cites W2063612156 @default.
- W4255351349 cites W2084025113 @default.
- W4255351349 cites W2107742417 @default.
- W4255351349 cites W2109693630 @default.
- W4255351349 cites W2126774541 @default.
- W4255351349 cites W2130711572 @default.
- W4255351349 cites W2135488322 @default.
- W4255351349 cites W2140566629 @default.
- W4255351349 cites W2172464685 @default.
- W4255351349 doi "https://doi.org/10.1002/cpe.1341" @default.
- W4255351349 hasPublicationYear "2009" @default.
- W4255351349 type Work @default.
- W4255351349 citedByCount "4" @default.
- W4255351349 countsByYear W42553513492014 @default.
- W4255351349 crossrefType "journal-article" @default.
- W4255351349 hasAuthorship W4255351349A5017451983 @default.
- W4255351349 hasAuthorship W4255351349A5036156102 @default.
- W4255351349 hasAuthorship W4255351349A5040103949 @default.
- W4255351349 hasAuthorship W4255351349A5050009335 @default.
- W4255351349 hasConcept C108710211 @default.
- W4255351349 hasConcept C169590947 @default.
- W4255351349 hasConcept C177264268 @default.
- W4255351349 hasConcept C184337299 @default.
- W4255351349 hasConcept C199360897 @default.
- W4255351349 hasConcept C2524010 @default.
- W4255351349 hasConcept C2776760102 @default.
- W4255351349 hasConcept C2780870223 @default.
- W4255351349 hasConcept C33923547 @default.
- W4255351349 hasConcept C41008148 @default.
- W4255351349 hasConcept C548217200 @default.
- W4255351349 hasConcept C76782552 @default.
- W4255351349 hasConcept C8767382 @default.
- W4255351349 hasConcept C97686452 @default.
- W4255351349 hasConceptScore W4255351349C108710211 @default.
- W4255351349 hasConceptScore W4255351349C169590947 @default.
- W4255351349 hasConceptScore W4255351349C177264268 @default.
- W4255351349 hasConceptScore W4255351349C184337299 @default.
- W4255351349 hasConceptScore W4255351349C199360897 @default.
- W4255351349 hasConceptScore W4255351349C2524010 @default.
- W4255351349 hasConceptScore W4255351349C2776760102 @default.
- W4255351349 hasConceptScore W4255351349C2780870223 @default.
- W4255351349 hasConceptScore W4255351349C33923547 @default.
- W4255351349 hasConceptScore W4255351349C41008148 @default.
- W4255351349 hasConceptScore W4255351349C548217200 @default.
- W4255351349 hasConceptScore W4255351349C76782552 @default.
- W4255351349 hasConceptScore W4255351349C8767382 @default.
- W4255351349 hasConceptScore W4255351349C97686452 @default.
- W4255351349 hasIssue "1" @default.
- W4255351349 hasLocation W42553513491 @default.
- W4255351349 hasOpenAccess W4255351349 @default.
- W4255351349 hasPrimaryLocation W42553513491 @default.
- W4255351349 hasRelatedWork W1565152927 @default.
- W4255351349 hasRelatedWork W1608659702 @default.
- W4255351349 hasRelatedWork W2047793074 @default.
- W4255351349 hasRelatedWork W2094737750 @default.
- W4255351349 hasRelatedWork W2103082432 @default.
- W4255351349 hasRelatedWork W2116981323 @default.
- W4255351349 hasRelatedWork W2162118494 @default.
- W4255351349 hasRelatedWork W2998595860 @default.
- W4255351349 hasRelatedWork W3004910747 @default.
- W4255351349 hasRelatedWork W4235530921 @default.
- W4255351349 hasVolume "21" @default.
- W4255351349 isParatext "false" @default.
- W4255351349 isRetracted "false" @default.
- W4255351349 workType "article" @default.