Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964417893> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1964417893 endingPage "169" @default.
- W1964417893 startingPage "153" @default.
- W1964417893 abstract "Common subexpression elimination (CSE) is a well-known method for code optimization in compilers. A key issue is the correctness of the program transformations performed. There are different versions of CSE but, to our knowledge, correctness proofs have not yet been published. The present paper contains a derivation of a version of CSE accompanied by a correctness proof based on the denotational semantics of the generated code." @default.
- W1964417893 created "2016-06-24" @default.
- W1964417893 creator A5053525373 @default.
- W1964417893 date "1992-11-01" @default.
- W1964417893 modified "2023-09-27" @default.
- W1964417893 title "Correctness of transformations on register transfers" @default.
- W1964417893 cites W1493792056 @default.
- W1964417893 cites W1502293651 @default.
- W1964417893 cites W1566968514 @default.
- W1964417893 cites W1592287058 @default.
- W1964417893 cites W1602028627 @default.
- W1964417893 cites W166608392 @default.
- W1964417893 cites W2054572543 @default.
- W1964417893 cites W2066539484 @default.
- W1964417893 cites W2110656424 @default.
- W1964417893 doi "https://doi.org/10.1016/0167-6423(92)90006-w" @default.
- W1964417893 hasPublicationYear "1992" @default.
- W1964417893 type Work @default.
- W1964417893 sameAs 1964417893 @default.
- W1964417893 citedByCount "0" @default.
- W1964417893 crossrefType "journal-article" @default.
- W1964417893 hasAuthorship W1964417893A5053525373 @default.
- W1964417893 hasConcept C108710211 @default.
- W1964417893 hasConcept C111919701 @default.
- W1964417893 hasConcept C128916667 @default.
- W1964417893 hasConcept C133162039 @default.
- W1964417893 hasConcept C154526789 @default.
- W1964417893 hasConcept C156325763 @default.
- W1964417893 hasConcept C169590947 @default.
- W1964417893 hasConcept C177264268 @default.
- W1964417893 hasConcept C184337299 @default.
- W1964417893 hasConcept C190902152 @default.
- W1964417893 hasConcept C199360897 @default.
- W1964417893 hasConcept C207648694 @default.
- W1964417893 hasConcept C2144512 @default.
- W1964417893 hasConcept C2524010 @default.
- W1964417893 hasConcept C26517878 @default.
- W1964417893 hasConcept C2776760102 @default.
- W1964417893 hasConcept C33923547 @default.
- W1964417893 hasConcept C41008148 @default.
- W1964417893 hasConcept C55439883 @default.
- W1964417893 hasConcept C80444323 @default.
- W1964417893 hasConceptScore W1964417893C108710211 @default.
- W1964417893 hasConceptScore W1964417893C111919701 @default.
- W1964417893 hasConceptScore W1964417893C128916667 @default.
- W1964417893 hasConceptScore W1964417893C133162039 @default.
- W1964417893 hasConceptScore W1964417893C154526789 @default.
- W1964417893 hasConceptScore W1964417893C156325763 @default.
- W1964417893 hasConceptScore W1964417893C169590947 @default.
- W1964417893 hasConceptScore W1964417893C177264268 @default.
- W1964417893 hasConceptScore W1964417893C184337299 @default.
- W1964417893 hasConceptScore W1964417893C190902152 @default.
- W1964417893 hasConceptScore W1964417893C199360897 @default.
- W1964417893 hasConceptScore W1964417893C207648694 @default.
- W1964417893 hasConceptScore W1964417893C2144512 @default.
- W1964417893 hasConceptScore W1964417893C2524010 @default.
- W1964417893 hasConceptScore W1964417893C26517878 @default.
- W1964417893 hasConceptScore W1964417893C2776760102 @default.
- W1964417893 hasConceptScore W1964417893C33923547 @default.
- W1964417893 hasConceptScore W1964417893C41008148 @default.
- W1964417893 hasConceptScore W1964417893C55439883 @default.
- W1964417893 hasConceptScore W1964417893C80444323 @default.
- W1964417893 hasIssue "2" @default.
- W1964417893 hasLocation W19644178931 @default.
- W1964417893 hasOpenAccess W1964417893 @default.
- W1964417893 hasPrimaryLocation W19644178931 @default.
- W1964417893 hasRelatedWork W1497385637 @default.
- W1964417893 hasRelatedWork W1517926351 @default.
- W1964417893 hasRelatedWork W1798364377 @default.
- W1964417893 hasRelatedWork W1964417893 @default.
- W1964417893 hasRelatedWork W1982502576 @default.
- W1964417893 hasRelatedWork W2079977998 @default.
- W1964417893 hasRelatedWork W2166060139 @default.
- W1964417893 hasRelatedWork W2245390655 @default.
- W1964417893 hasRelatedWork W2899120827 @default.
- W1964417893 hasRelatedWork W2973978040 @default.
- W1964417893 hasVolume "19" @default.
- W1964417893 isParatext "false" @default.
- W1964417893 isRetracted "false" @default.
- W1964417893 magId "1964417893" @default.
- W1964417893 workType "article" @default.