Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300607909> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4300607909 abstract "This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features." @default.
- W4300607909 created "2022-10-03" @default.
- W4300607909 creator A5010877867 @default.
- W4300607909 creator A5024013515 @default.
- W4300607909 date "2017-09-13" @default.
- W4300607909 modified "2023-09-30" @default.
- W4300607909 title "Deadlock detection of Java Bytecode" @default.
- W4300607909 doi "https://doi.org/10.48550/arxiv.1709.04152" @default.
- W4300607909 hasPublicationYear "2017" @default.
- W4300607909 type Work @default.
- W4300607909 citedByCount "0" @default.
- W4300607909 crossrefType "posted-content" @default.
- W4300607909 hasAuthorship W4300607909A5010877867 @default.
- W4300607909 hasAuthorship W4300607909A5024013515 @default.
- W4300607909 hasBestOaLocation W43006079091 @default.
- W4300607909 hasConcept C132106392 @default.
- W4300607909 hasConcept C159023740 @default.
- W4300607909 hasConcept C168702491 @default.
- W4300607909 hasConcept C181907185 @default.
- W4300607909 hasConcept C199360897 @default.
- W4300607909 hasConcept C2777472213 @default.
- W4300607909 hasConcept C2779818221 @default.
- W4300607909 hasConcept C41008148 @default.
- W4300607909 hasConcept C548217200 @default.
- W4300607909 hasConcept C60945770 @default.
- W4300607909 hasConceptScore W4300607909C132106392 @default.
- W4300607909 hasConceptScore W4300607909C159023740 @default.
- W4300607909 hasConceptScore W4300607909C168702491 @default.
- W4300607909 hasConceptScore W4300607909C181907185 @default.
- W4300607909 hasConceptScore W4300607909C199360897 @default.
- W4300607909 hasConceptScore W4300607909C2777472213 @default.
- W4300607909 hasConceptScore W4300607909C2779818221 @default.
- W4300607909 hasConceptScore W4300607909C41008148 @default.
- W4300607909 hasConceptScore W4300607909C548217200 @default.
- W4300607909 hasConceptScore W4300607909C60945770 @default.
- W4300607909 hasLocation W43006079091 @default.
- W4300607909 hasOpenAccess W4300607909 @default.
- W4300607909 hasPrimaryLocation W43006079091 @default.
- W4300607909 hasRelatedWork W1970806266 @default.
- W4300607909 hasRelatedWork W2110333676 @default.
- W4300607909 hasRelatedWork W2117534212 @default.
- W4300607909 hasRelatedWork W2197133764 @default.
- W4300607909 hasRelatedWork W2374056735 @default.
- W4300607909 hasRelatedWork W2951958216 @default.
- W4300607909 hasRelatedWork W412736943 @default.
- W4300607909 hasRelatedWork W4300607909 @default.
- W4300607909 hasRelatedWork W2220571783 @default.
- W4300607909 hasRelatedWork W2785207032 @default.
- W4300607909 isParatext "false" @default.
- W4300607909 isRetracted "false" @default.
- W4300607909 workType "article" @default.