Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070251230> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2070251230 endingPage "1647" @default.
- W2070251230 startingPage "1613" @default.
- W2070251230 abstract "While a compiler produces low-level object code from high-level source code, a decompiler produces high-level code from low-level code and has applications in the testing and validation of safety-critical software. The decompilation of an object code provides an independent demonstration of correctness that is hard to better for industrial purposes (an alternative is to prove the compiler correct). But, although compiler compilers are in common use in the software industry, a decompiler compiler is much more unusual. It turns out that a data type specification for a programming-language grammar can be remolded into a functional program that enumerates all of the abstract syntax trees of the grammar. This observation is the springboard for a general method for compiling decompilers from the specifications of (nonoptimizing) compilers. This paper deals with methods and theory, together with an application of the technique. The correctness of a decompiler generated from a simple occam-like compiler specification is demonstrated. The basic problem of enumerating the syntax trees of grammars, and then stopping, is shown to have no recursive solution, but methods of abstract interpretation can be used to guarantee the adequacy and completeness of our technique in practical instances, including the decompiler for the language presented here." @default.
- W2070251230 created "2016-06-24" @default.
- W2070251230 creator A5033170776 @default.
- W2070251230 creator A5041103024 @default.
- W2070251230 date "1994-09-01" @default.
- W2070251230 modified "2023-10-18" @default.
- W2070251230 title "Decompilation: the enumeration of types and grammars" @default.
- W2070251230 cites W1487097074 @default.
- W2070251230 cites W1986588030 @default.
- W2070251230 cites W2001023832 @default.
- W2070251230 cites W2015958966 @default.
- W2070251230 cites W2086240295 @default.
- W2070251230 cites W2097223122 @default.
- W2070251230 cites W2114754412 @default.
- W2070251230 doi "https://doi.org/10.1145/186025.186093" @default.
- W2070251230 hasPublicationYear "1994" @default.
- W2070251230 type Work @default.
- W2070251230 sameAs 2070251230 @default.
- W2070251230 citedByCount "27" @default.
- W2070251230 countsByYear W20702512302013 @default.
- W2070251230 countsByYear W20702512302014 @default.
- W2070251230 countsByYear W20702512302015 @default.
- W2070251230 countsByYear W20702512302016 @default.
- W2070251230 countsByYear W20702512302017 @default.
- W2070251230 crossrefType "journal-article" @default.
- W2070251230 hasAuthorship W2070251230A5033170776 @default.
- W2070251230 hasAuthorship W2070251230A5041103024 @default.
- W2070251230 hasBestOaLocation W20702512301 @default.
- W2070251230 hasConcept C111564260 @default.
- W2070251230 hasConcept C111919701 @default.
- W2070251230 hasConcept C133162039 @default.
- W2070251230 hasConcept C138885662 @default.
- W2070251230 hasConcept C154526789 @default.
- W2070251230 hasConcept C154945302 @default.
- W2070251230 hasConcept C169590947 @default.
- W2070251230 hasConcept C186644900 @default.
- W2070251230 hasConcept C190902152 @default.
- W2070251230 hasConcept C199360897 @default.
- W2070251230 hasConcept C26022165 @default.
- W2070251230 hasConcept C26517878 @default.
- W2070251230 hasConcept C29331672 @default.
- W2070251230 hasConcept C41008148 @default.
- W2070251230 hasConcept C41895202 @default.
- W2070251230 hasConcept C53893814 @default.
- W2070251230 hasConcept C55439883 @default.
- W2070251230 hasConcept C68366613 @default.
- W2070251230 hasConcept C9957790 @default.
- W2070251230 hasConceptScore W2070251230C111564260 @default.
- W2070251230 hasConceptScore W2070251230C111919701 @default.
- W2070251230 hasConceptScore W2070251230C133162039 @default.
- W2070251230 hasConceptScore W2070251230C138885662 @default.
- W2070251230 hasConceptScore W2070251230C154526789 @default.
- W2070251230 hasConceptScore W2070251230C154945302 @default.
- W2070251230 hasConceptScore W2070251230C169590947 @default.
- W2070251230 hasConceptScore W2070251230C186644900 @default.
- W2070251230 hasConceptScore W2070251230C190902152 @default.
- W2070251230 hasConceptScore W2070251230C199360897 @default.
- W2070251230 hasConceptScore W2070251230C26022165 @default.
- W2070251230 hasConceptScore W2070251230C26517878 @default.
- W2070251230 hasConceptScore W2070251230C29331672 @default.
- W2070251230 hasConceptScore W2070251230C41008148 @default.
- W2070251230 hasConceptScore W2070251230C41895202 @default.
- W2070251230 hasConceptScore W2070251230C53893814 @default.
- W2070251230 hasConceptScore W2070251230C55439883 @default.
- W2070251230 hasConceptScore W2070251230C68366613 @default.
- W2070251230 hasConceptScore W2070251230C9957790 @default.
- W2070251230 hasIssue "5" @default.
- W2070251230 hasLocation W20702512301 @default.
- W2070251230 hasOpenAccess W2070251230 @default.
- W2070251230 hasPrimaryLocation W20702512301 @default.
- W2070251230 hasRelatedWork W1596995840 @default.
- W2070251230 hasRelatedWork W1971559523 @default.
- W2070251230 hasRelatedWork W1988494037 @default.
- W2070251230 hasRelatedWork W2004605222 @default.
- W2070251230 hasRelatedWork W2070251230 @default.
- W2070251230 hasRelatedWork W2166060139 @default.
- W2070251230 hasRelatedWork W2369288331 @default.
- W2070251230 hasRelatedWork W3006413190 @default.
- W2070251230 hasRelatedWork W6258447 @default.
- W2070251230 hasRelatedWork W1602178951 @default.
- W2070251230 hasVolume "16" @default.
- W2070251230 isParatext "false" @default.
- W2070251230 isRetracted "false" @default.
- W2070251230 magId "2070251230" @default.
- W2070251230 workType "article" @default.