Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133764488> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2133764488 endingPage "101" @default.
- W2133764488 startingPage "85" @default.
- W2133764488 abstract "The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in principle, has not been widely applied in practice mainly because of the difficulty in finding a partial evaluation strategy which always obtain “quality” compiled programs. In spite of this, in recent work we have performed a proof of concept of that, at least for some examples, this approach can be applied to decompile Java bytecode into Prolog. This allows applying existing advanced tools for analysis of logic programs in order to verify Java bytecode. However, successful partial evaluation of an interpreter for (a realistic subset of) Java bytecode is a rather challenging problem. The aim of this work is to improve the performance of the decompilation process above in two respects. First, we would like to obtain quality decompiled programs, i.e., simple and small. We refer to this as the effectiveness of the decompilation. Second, we would like the decompilation process to be as efficient as possible, both in terms of time and memory usage, in order to scale up in practice. We refer to this as the efficiency of the decompilation. With this aim, we propose several techniques for improving the partial evaluation strategy. We argue that our experimental results show that we are able to improve significantly the efficiency and effectiveness of the decompilation process." @default.
- W2133764488 created "2016-06-24" @default.
- W2133764488 creator A5000591513 @default.
- W2133764488 creator A5038492725 @default.
- W2133764488 creator A5091905437 @default.
- W2133764488 date "2007-07-01" @default.
- W2133764488 modified "2023-10-03" @default.
- W2133764488 title "Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation" @default.
- W2133764488 cites W1517591052 @default.
- W2133764488 cites W1522598964 @default.
- W2133764488 cites W1524687916 @default.
- W2133764488 cites W1530717542 @default.
- W2133764488 cites W1541434994 @default.
- W2133764488 cites W1556604985 @default.
- W2133764488 cites W1590036030 @default.
- W2133764488 cites W1596577905 @default.
- W2133764488 cites W1600295928 @default.
- W2133764488 cites W1706172200 @default.
- W2133764488 cites W178589107 @default.
- W2133764488 cites W17911132 @default.
- W2133764488 cites W1884591353 @default.
- W2133764488 cites W2018765574 @default.
- W2133764488 cites W2037035101 @default.
- W2133764488 cites W2048831705 @default.
- W2133764488 cites W2151897509 @default.
- W2133764488 cites W2157543955 @default.
- W2133764488 cites W2163660741 @default.
- W2133764488 cites W2504992661 @default.
- W2133764488 cites W31561947 @default.
- W2133764488 doi "https://doi.org/10.1016/j.entcs.2007.02.062" @default.
- W2133764488 hasPublicationYear "2007" @default.
- W2133764488 type Work @default.
- W2133764488 sameAs 2133764488 @default.
- W2133764488 citedByCount "10" @default.
- W2133764488 countsByYear W21337644882014 @default.
- W2133764488 countsByYear W21337644882020 @default.
- W2133764488 crossrefType "journal-article" @default.
- W2133764488 hasAuthorship W2133764488A5000591513 @default.
- W2133764488 hasAuthorship W2133764488A5038492725 @default.
- W2133764488 hasAuthorship W2133764488A5091905437 @default.
- W2133764488 hasBestOaLocation W21337644881 @default.
- W2133764488 hasConcept C111472728 @default.
- W2133764488 hasConcept C122783720 @default.
- W2133764488 hasConcept C132106392 @default.
- W2133764488 hasConcept C138885662 @default.
- W2133764488 hasConcept C168702491 @default.
- W2133764488 hasConcept C195701839 @default.
- W2133764488 hasConcept C199360897 @default.
- W2133764488 hasConcept C2777472213 @default.
- W2133764488 hasConcept C2778361913 @default.
- W2133764488 hasConcept C2779818221 @default.
- W2133764488 hasConcept C2780586882 @default.
- W2133764488 hasConcept C41008148 @default.
- W2133764488 hasConcept C548217200 @default.
- W2133764488 hasConcept C81721847 @default.
- W2133764488 hasConcept C98045186 @default.
- W2133764488 hasConceptScore W2133764488C111472728 @default.
- W2133764488 hasConceptScore W2133764488C122783720 @default.
- W2133764488 hasConceptScore W2133764488C132106392 @default.
- W2133764488 hasConceptScore W2133764488C138885662 @default.
- W2133764488 hasConceptScore W2133764488C168702491 @default.
- W2133764488 hasConceptScore W2133764488C195701839 @default.
- W2133764488 hasConceptScore W2133764488C199360897 @default.
- W2133764488 hasConceptScore W2133764488C2777472213 @default.
- W2133764488 hasConceptScore W2133764488C2778361913 @default.
- W2133764488 hasConceptScore W2133764488C2779818221 @default.
- W2133764488 hasConceptScore W2133764488C2780586882 @default.
- W2133764488 hasConceptScore W2133764488C41008148 @default.
- W2133764488 hasConceptScore W2133764488C548217200 @default.
- W2133764488 hasConceptScore W2133764488C81721847 @default.
- W2133764488 hasConceptScore W2133764488C98045186 @default.
- W2133764488 hasIssue "1" @default.
- W2133764488 hasLocation W21337644881 @default.
- W2133764488 hasLocation W21337644882 @default.
- W2133764488 hasOpenAccess W2133764488 @default.
- W2133764488 hasPrimaryLocation W21337644881 @default.
- W2133764488 hasRelatedWork W1606351121 @default.
- W2133764488 hasRelatedWork W1997254051 @default.
- W2133764488 hasRelatedWork W2068737373 @default.
- W2133764488 hasRelatedWork W2133764488 @default.
- W2133764488 hasRelatedWork W2347957149 @default.
- W2133764488 hasRelatedWork W2754749880 @default.
- W2133764488 hasRelatedWork W2996575447 @default.
- W2133764488 hasRelatedWork W3082936562 @default.
- W2133764488 hasRelatedWork W3164216185 @default.
- W2133764488 hasRelatedWork W4287683996 @default.
- W2133764488 hasVolume "190" @default.
- W2133764488 isParatext "false" @default.
- W2133764488 isRetracted "false" @default.
- W2133764488 magId "2133764488" @default.
- W2133764488 workType "article" @default.