Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244564259> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4244564259 endingPage "492" @default.
- W4244564259 startingPage "475" @default.
- W4244564259 abstract "Inference of static types for local variables in Java bytecode is the first step of any serious tool that manipulates bytecode, be it for decompilation, transformation or analysis. It is important, therefore, to perform that step as accurately and efficiently as possible. Previous work has sought to give solutions with good worst-case complexity. We present a novel algorithm, which is optimised for the common case rather than worst-case performance. It works by first finding a set of minimal typings that are valid for all assignments, and then checking whether these minimal typings satisfy all uses. Unlike previous algorithms, it does not explicitly build a data structure of type constraints, and it is easy to implement efficiently. We prove that the algorithm produces a typing that is both sound (obeying the rules of the language) and as tight as possible. We then go on to present extensive experiments, comparing the results of the new algorithm against the previously best known method. The experiments include bytecode that is generated in other ways than compilation of Java source. The new algorithm is always faster, typically by a factor 6, but on some real benchmarks the gain is as high as a factor of 92. Furthermore, whereas that previous method is sometimes suboptimal, our algorithm always returns a tightest possible type. We also discuss in detail how we handle primitive types, which is a difficult issue due to the discrepancy in their treatment between Java bytecode and Java source. For the application to decompilation, however, it is very important to handle this correctly." @default.
- W4244564259 created "2022-05-12" @default.
- W4244564259 creator A5007867492 @default.
- W4244564259 creator A5019224782 @default.
- W4244564259 creator A5052865315 @default.
- W4244564259 creator A5071726140 @default.
- W4244564259 date "2008-10-19" @default.
- W4244564259 modified "2023-10-18" @default.
- W4244564259 title "Efficient local type inference" @default.
- W4244564259 cites W1521580745 @default.
- W4244564259 cites W2001744589 @default.
- W4244564259 cites W2041466367 @default.
- W4244564259 cites W2053664570 @default.
- W4244564259 cites W2061721578 @default.
- W4244564259 cites W2067872353 @default.
- W4244564259 cites W2091909330 @default.
- W4244564259 cites W2108690834 @default.
- W4244564259 cites W2138732532 @default.
- W4244564259 cites W2181943201 @default.
- W4244564259 cites W4213039069 @default.
- W4244564259 cites W4213381987 @default.
- W4244564259 cites W4244564259 @default.
- W4244564259 doi "https://doi.org/10.1145/1449955.1449802" @default.
- W4244564259 hasPublicationYear "2008" @default.
- W4244564259 type Work @default.
- W4244564259 citedByCount "3" @default.
- W4244564259 crossrefType "journal-article" @default.
- W4244564259 hasAuthorship W4244564259A5007867492 @default.
- W4244564259 hasAuthorship W4244564259A5019224782 @default.
- W4244564259 hasAuthorship W4244564259A5052865315 @default.
- W4244564259 hasAuthorship W4244564259A5071726140 @default.
- W4244564259 hasConcept C11413529 @default.
- W4244564259 hasConcept C154945302 @default.
- W4244564259 hasConcept C15524039 @default.
- W4244564259 hasConcept C168702491 @default.
- W4244564259 hasConcept C172482141 @default.
- W4244564259 hasConcept C177264268 @default.
- W4244564259 hasConcept C18903297 @default.
- W4244564259 hasConcept C198370458 @default.
- W4244564259 hasConcept C199360897 @default.
- W4244564259 hasConcept C2776214188 @default.
- W4244564259 hasConcept C2777299769 @default.
- W4244564259 hasConcept C2777472213 @default.
- W4244564259 hasConcept C2779818221 @default.
- W4244564259 hasConcept C2781039887 @default.
- W4244564259 hasConcept C41008148 @default.
- W4244564259 hasConcept C548217200 @default.
- W4244564259 hasConcept C80444323 @default.
- W4244564259 hasConcept C86803240 @default.
- W4244564259 hasConceptScore W4244564259C11413529 @default.
- W4244564259 hasConceptScore W4244564259C154945302 @default.
- W4244564259 hasConceptScore W4244564259C15524039 @default.
- W4244564259 hasConceptScore W4244564259C168702491 @default.
- W4244564259 hasConceptScore W4244564259C172482141 @default.
- W4244564259 hasConceptScore W4244564259C177264268 @default.
- W4244564259 hasConceptScore W4244564259C18903297 @default.
- W4244564259 hasConceptScore W4244564259C198370458 @default.
- W4244564259 hasConceptScore W4244564259C199360897 @default.
- W4244564259 hasConceptScore W4244564259C2776214188 @default.
- W4244564259 hasConceptScore W4244564259C2777299769 @default.
- W4244564259 hasConceptScore W4244564259C2777472213 @default.
- W4244564259 hasConceptScore W4244564259C2779818221 @default.
- W4244564259 hasConceptScore W4244564259C2781039887 @default.
- W4244564259 hasConceptScore W4244564259C41008148 @default.
- W4244564259 hasConceptScore W4244564259C548217200 @default.
- W4244564259 hasConceptScore W4244564259C80444323 @default.
- W4244564259 hasConceptScore W4244564259C86803240 @default.
- W4244564259 hasIssue "10" @default.
- W4244564259 hasLocation W42445642591 @default.
- W4244564259 hasOpenAccess W4244564259 @default.
- W4244564259 hasPrimaryLocation W42445642591 @default.
- W4244564259 hasRelatedWork W1532887546 @default.
- W4244564259 hasRelatedWork W2110333676 @default.
- W4244564259 hasRelatedWork W2117534212 @default.
- W4244564259 hasRelatedWork W2124765047 @default.
- W4244564259 hasRelatedWork W2128133205 @default.
- W4244564259 hasRelatedWork W2347957149 @default.
- W4244564259 hasRelatedWork W2374056735 @default.
- W4244564259 hasRelatedWork W84136828 @default.
- W4244564259 hasRelatedWork W2220571783 @default.
- W4244564259 hasRelatedWork W2785207032 @default.
- W4244564259 hasVolume "43" @default.
- W4244564259 isParatext "false" @default.
- W4244564259 isRetracted "false" @default.
- W4244564259 workType "article" @default.