Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560641852> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1560641852 endingPage "59" @default.
- W1560641852 startingPage "42" @default.
- W1560641852 abstract "Java bytecode verification is traditionally performed by a polynomial time data flow algorithm. We investigate an alternative based on reducing bytecode verification to model checking. Despite an exponential worst case time complexity, model checking type-correct bytecode is polynomial in practice when carried out using an explicit state, on the- fly model checker like Spin. We investigate this theoretically and experimentally and explain the practical advantages of this alternative." @default.
- W1560641852 created "2016-06-24" @default.
- W1560641852 creator A5011401023 @default.
- W1560641852 creator A5020935025 @default.
- W1560641852 creator A5025344654 @default.
- W1560641852 creator A5088633946 @default.
- W1560641852 date "2002-01-01" @default.
- W1560641852 modified "2023-10-18" @default.
- W1560641852 title "Bytecode Model Checking: An Experimental Analysis" @default.
- W1560641852 cites W1488790435 @default.
- W1560641852 cites W1529785310 @default.
- W1560641852 cites W1544300973 @default.
- W1560641852 cites W1560655349 @default.
- W1560641852 cites W1692349883 @default.
- W1560641852 cites W1967031800 @default.
- W1560641852 cites W1996469056 @default.
- W1560641852 cites W2010608535 @default.
- W1560641852 cites W2031833469 @default.
- W1560641852 cites W2095851537 @default.
- W1560641852 cites W2115309705 @default.
- W1560641852 doi "https://doi.org/10.1007/3-540-46017-9_6" @default.
- W1560641852 hasPublicationYear "2002" @default.
- W1560641852 type Work @default.
- W1560641852 sameAs 1560641852 @default.
- W1560641852 citedByCount "9" @default.
- W1560641852 crossrefType "book-chapter" @default.
- W1560641852 hasAuthorship W1560641852A5011401023 @default.
- W1560641852 hasAuthorship W1560641852A5020935025 @default.
- W1560641852 hasAuthorship W1560641852A5025344654 @default.
- W1560641852 hasAuthorship W1560641852A5088633946 @default.
- W1560641852 hasBestOaLocation W15606418522 @default.
- W1560641852 hasConcept C110251889 @default.
- W1560641852 hasConcept C11413529 @default.
- W1560641852 hasConcept C134306372 @default.
- W1560641852 hasConcept C15524039 @default.
- W1560641852 hasConcept C168702491 @default.
- W1560641852 hasConcept C199360897 @default.
- W1560641852 hasConcept C2777472213 @default.
- W1560641852 hasConcept C2779818221 @default.
- W1560641852 hasConcept C311688 @default.
- W1560641852 hasConcept C33923547 @default.
- W1560641852 hasConcept C41008148 @default.
- W1560641852 hasConcept C548217200 @default.
- W1560641852 hasConcept C80444323 @default.
- W1560641852 hasConcept C90119067 @default.
- W1560641852 hasConceptScore W1560641852C110251889 @default.
- W1560641852 hasConceptScore W1560641852C11413529 @default.
- W1560641852 hasConceptScore W1560641852C134306372 @default.
- W1560641852 hasConceptScore W1560641852C15524039 @default.
- W1560641852 hasConceptScore W1560641852C168702491 @default.
- W1560641852 hasConceptScore W1560641852C199360897 @default.
- W1560641852 hasConceptScore W1560641852C2777472213 @default.
- W1560641852 hasConceptScore W1560641852C2779818221 @default.
- W1560641852 hasConceptScore W1560641852C311688 @default.
- W1560641852 hasConceptScore W1560641852C33923547 @default.
- W1560641852 hasConceptScore W1560641852C41008148 @default.
- W1560641852 hasConceptScore W1560641852C548217200 @default.
- W1560641852 hasConceptScore W1560641852C80444323 @default.
- W1560641852 hasConceptScore W1560641852C90119067 @default.
- W1560641852 hasLocation W15606418521 @default.
- W1560641852 hasLocation W15606418522 @default.
- W1560641852 hasOpenAccess W1560641852 @default.
- W1560641852 hasPrimaryLocation W15606418521 @default.
- W1560641852 hasRelatedWork W1532887546 @default.
- W1560641852 hasRelatedWork W2110333676 @default.
- W1560641852 hasRelatedWork W2124765047 @default.
- W1560641852 hasRelatedWork W2128133205 @default.
- W1560641852 hasRelatedWork W2348100758 @default.
- W1560641852 hasRelatedWork W2754749880 @default.
- W1560641852 hasRelatedWork W2951958216 @default.
- W1560641852 hasRelatedWork W4300607909 @default.
- W1560641852 hasRelatedWork W2220571783 @default.
- W1560641852 hasRelatedWork W2785207032 @default.
- W1560641852 isParatext "false" @default.
- W1560641852 isRetracted "false" @default.
- W1560641852 magId "1560641852" @default.
- W1560641852 workType "book-chapter" @default.