Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044436475> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2044436475 endingPage "280" @default.
- W2044436475 startingPage "257" @default.
- W2044436475 abstract "This paper presents a general approach for automatically validating code-improving transformations on low-level program representations. The approach ensures the correctness of compiler and hand-specified optimizations at the machine instruction level. The method verifies the semantic equivalence of the program representation before and after a transformation to determine the validity of the transformation. To verify that the transformation is semantics preserving, the method derives semantic effects from the instructions that span the execution paths affected by the transformation. The semantics are preserved if the normalized semantic effects are unchanged. A validating compilation system was implemented that is able to validate traditional compiler transformations and more powerful transformations that modify the branch structure of a program." @default.
- W2044436475 created "2016-06-24" @default.
- W2044436475 creator A5011883913 @default.
- W2044436475 creator A5014966499 @default.
- W2044436475 creator A5049765501 @default.
- W2044436475 date "2004-08-01" @default.
- W2044436475 modified "2023-09-28" @default.
- W2044436475 title "Automatic validation of code-improving transformations on low-level program representations" @default.
- W2044436475 cites W1485119882 @default.
- W2044436475 cites W1491178396 @default.
- W2044436475 cites W1511110335 @default.
- W2044436475 cites W1517926351 @default.
- W2044436475 cites W1561115693 @default.
- W2044436475 cites W1573046885 @default.
- W2044436475 cites W1582380402 @default.
- W2044436475 cites W1600310469 @default.
- W2044436475 cites W1641912770 @default.
- W2044436475 cites W1967022475 @default.
- W2044436475 cites W1973828066 @default.
- W2044436475 cites W1975814453 @default.
- W2044436475 cites W1992347193 @default.
- W2044436475 cites W2003848320 @default.
- W2044436475 cites W2008398511 @default.
- W2044436475 cites W2034711041 @default.
- W2044436475 cites W2040856861 @default.
- W2044436475 cites W2047937237 @default.
- W2044436475 cites W2051632385 @default.
- W2044436475 cites W2065854195 @default.
- W2044436475 cites W2078944436 @default.
- W2044436475 cites W2089323323 @default.
- W2044436475 cites W2095064458 @default.
- W2044436475 cites W2101241724 @default.
- W2044436475 cites W2102824988 @default.
- W2044436475 cites W2104332769 @default.
- W2044436475 cites W2111706174 @default.
- W2044436475 cites W2124141657 @default.
- W2044436475 cites W2139900441 @default.
- W2044436475 cites W2171691057 @default.
- W2044436475 cites W3146075203 @default.
- W2044436475 cites W3151756653 @default.
- W2044436475 cites W1568837929 @default.
- W2044436475 doi "https://doi.org/10.1016/j.scico.2004.03.008" @default.
- W2044436475 hasPublicationYear "2004" @default.
- W2044436475 type Work @default.
- W2044436475 sameAs 2044436475 @default.
- W2044436475 citedByCount "5" @default.
- W2044436475 crossrefType "journal-article" @default.
- W2044436475 hasAuthorship W2044436475A5011883913 @default.
- W2044436475 hasAuthorship W2044436475A5014966499 @default.
- W2044436475 hasAuthorship W2044436475A5049765501 @default.
- W2044436475 hasBestOaLocation W20444364751 @default.
- W2044436475 hasConcept C115903868 @default.
- W2044436475 hasConcept C177264268 @default.
- W2044436475 hasConcept C199360897 @default.
- W2044436475 hasConcept C2776760102 @default.
- W2044436475 hasConcept C41008148 @default.
- W2044436475 hasConceptScore W2044436475C115903868 @default.
- W2044436475 hasConceptScore W2044436475C177264268 @default.
- W2044436475 hasConceptScore W2044436475C199360897 @default.
- W2044436475 hasConceptScore W2044436475C2776760102 @default.
- W2044436475 hasConceptScore W2044436475C41008148 @default.
- W2044436475 hasIssue "1-3" @default.
- W2044436475 hasLocation W20444364751 @default.
- W2044436475 hasOpenAccess W2044436475 @default.
- W2044436475 hasPrimaryLocation W20444364751 @default.
- W2044436475 hasRelatedWork W1522113126 @default.
- W2044436475 hasRelatedWork W1527862632 @default.
- W2044436475 hasRelatedWork W2109507516 @default.
- W2044436475 hasRelatedWork W2112962394 @default.
- W2044436475 hasRelatedWork W2118300983 @default.
- W2044436475 hasRelatedWork W2135396778 @default.
- W2044436475 hasRelatedWork W2384847609 @default.
- W2044436475 hasRelatedWork W2740990710 @default.
- W2044436475 hasRelatedWork W3137189469 @default.
- W2044436475 hasRelatedWork W4243252198 @default.
- W2044436475 hasVolume "52" @default.
- W2044436475 isParatext "false" @default.
- W2044436475 isRetracted "false" @default.
- W2044436475 magId "2044436475" @default.
- W2044436475 workType "article" @default.