Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146202824> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2146202824 abstract "The Java Virtual Machine embodies a verifier which performs a set of checks on bytecode programs before their execution. The verifier performs a data-flow analysis applied to a type-level abstract interpretation of the code. The current implementations of the bytecode verifier present a significant problem: there are legal Java programs which are correctly compiled into a bytecode that is rejected by the verifier. Also the more powerful verification techniques proposed in several papers suffer from the same problem. In this paper we propose to enhance the bytecode verifier to accept such programs, maintaining the efficiency of current implementations. The enhanced version is based on a domain of types which is more expressive than the one used in standard verification." @default.
- W2146202824 created "2016-06-24" @default.
- W2146202824 creator A5047174414 @default.
- W2146202824 creator A5065265267 @default.
- W2146202824 creator A5076735277 @default.
- W2146202824 creator A5089634233 @default.
- W2146202824 date "2002-07-15" @default.
- W2146202824 modified "2023-09-26" @default.
- W2146202824 title "Fixing the Java bytecode verifier by a suitable type domain" @default.
- W2146202824 cites W1820096046 @default.
- W2146202824 cites W1966130668 @default.
- W2146202824 cites W1982303263 @default.
- W2146202824 cites W1996469056 @default.
- W2146202824 cites W2005119878 @default.
- W2146202824 cites W2031833469 @default.
- W2146202824 cites W2043100293 @default.
- W2146202824 cites W2087403174 @default.
- W2146202824 doi "https://doi.org/10.1145/568760.568826" @default.
- W2146202824 hasPublicationYear "2002" @default.
- W2146202824 type Work @default.
- W2146202824 sameAs 2146202824 @default.
- W2146202824 citedByCount "2" @default.
- W2146202824 crossrefType "proceedings-article" @default.
- W2146202824 hasAuthorship W2146202824A5047174414 @default.
- W2146202824 hasAuthorship W2146202824A5065265267 @default.
- W2146202824 hasAuthorship W2146202824A5076735277 @default.
- W2146202824 hasAuthorship W2146202824A5089634233 @default.
- W2146202824 hasConcept C111919701 @default.
- W2146202824 hasConcept C127313418 @default.
- W2146202824 hasConcept C132106392 @default.
- W2146202824 hasConcept C134306372 @default.
- W2146202824 hasConcept C151730666 @default.
- W2146202824 hasConcept C168702491 @default.
- W2146202824 hasConcept C199360897 @default.
- W2146202824 hasConcept C2777299769 @default.
- W2146202824 hasConcept C2777472213 @default.
- W2146202824 hasConcept C2779818221 @default.
- W2146202824 hasConcept C33923547 @default.
- W2146202824 hasConcept C36503486 @default.
- W2146202824 hasConcept C41008148 @default.
- W2146202824 hasConcept C548217200 @default.
- W2146202824 hasConceptScore W2146202824C111919701 @default.
- W2146202824 hasConceptScore W2146202824C127313418 @default.
- W2146202824 hasConceptScore W2146202824C132106392 @default.
- W2146202824 hasConceptScore W2146202824C134306372 @default.
- W2146202824 hasConceptScore W2146202824C151730666 @default.
- W2146202824 hasConceptScore W2146202824C168702491 @default.
- W2146202824 hasConceptScore W2146202824C199360897 @default.
- W2146202824 hasConceptScore W2146202824C2777299769 @default.
- W2146202824 hasConceptScore W2146202824C2777472213 @default.
- W2146202824 hasConceptScore W2146202824C2779818221 @default.
- W2146202824 hasConceptScore W2146202824C33923547 @default.
- W2146202824 hasConceptScore W2146202824C36503486 @default.
- W2146202824 hasConceptScore W2146202824C41008148 @default.
- W2146202824 hasConceptScore W2146202824C548217200 @default.
- W2146202824 hasLocation W21462028241 @default.
- W2146202824 hasOpenAccess W2146202824 @default.
- W2146202824 hasPrimaryLocation W21462028241 @default.
- W2146202824 hasRelatedWork W1531423825 @default.
- W2146202824 hasRelatedWork W1557837846 @default.
- W2146202824 hasRelatedWork W1860988706 @default.
- W2146202824 hasRelatedWork W1959863721 @default.
- W2146202824 hasRelatedWork W2068737373 @default.
- W2146202824 hasRelatedWork W2080696000 @default.
- W2146202824 hasRelatedWork W2123672134 @default.
- W2146202824 hasRelatedWork W2138161962 @default.
- W2146202824 hasRelatedWork W3121650164 @default.
- W2146202824 hasRelatedWork W2505061641 @default.
- W2146202824 isParatext "false" @default.
- W2146202824 isRetracted "false" @default.
- W2146202824 magId "2146202824" @default.
- W2146202824 workType "article" @default.