Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104429191> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2104429191 abstract "Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed point is commonly computed through an iterative procedure that repeats tracing until convergence.This paper proposes a new method to analyze programs through recursive graph traversals instead of iterative procedures, based on the fact that most programs (without spaghetti GOTO) have well-structured control flow graphs, graphs with bounded tree width. Our main techniques are; an algebraic construction of a control flow graph, called SP Term, which enables control flow analysis to be defined in a natural recursive form, and the Optimization Theorem, which enables us to compute optimal solution by dynamic programming.We illustrate our method with two examples; dead code detection and register allocation. Different from the traditional standard iterative solution, our dead code detection is described as a simple combination of bottom-up and top-down traversals on SP Term. Register allocation is more interesting, as it further requires optimality of the result. We show how the Optimization Theorem on SP Terms works to find an optimal register allocation as a certain dynamic programming." @default.
- W2104429191 created "2016-06-24" @default.
- W2104429191 creator A5002090753 @default.
- W2104429191 creator A5003640963 @default.
- W2104429191 creator A5011902302 @default.
- W2104429191 date "2003-08-25" @default.
- W2104429191 modified "2023-10-17" @default.
- W2104429191 title "Iterative-free program analysis" @default.
- W2104429191 cites W1516190298 @default.
- W2104429191 cites W1519861553 @default.
- W2104429191 cites W1967031800 @default.
- W2104429191 cites W1972515959 @default.
- W2104429191 cites W1983860528 @default.
- W2104429191 cites W1989556004 @default.
- W2104429191 cites W2003021478 @default.
- W2104429191 cites W2013616027 @default.
- W2104429191 cites W2016113382 @default.
- W2104429191 cites W2018876684 @default.
- W2104429191 cites W2020080707 @default.
- W2104429191 cites W2023541076 @default.
- W2104429191 cites W2029448190 @default.
- W2104429191 cites W2046645050 @default.
- W2104429191 cites W2055669150 @default.
- W2104429191 cites W2059372025 @default.
- W2104429191 cites W2065635796 @default.
- W2104429191 cites W2066551240 @default.
- W2104429191 cites W2092492242 @default.
- W2104429191 cites W2118866757 @default.
- W2104429191 cites W2126871242 @default.
- W2104429191 cites W2127637733 @default.
- W2104429191 cites W3004680937 @default.
- W2104429191 cites W4234132796 @default.
- W2104429191 doi "https://doi.org/10.1145/944705.944716" @default.
- W2104429191 hasPublicationYear "2003" @default.
- W2104429191 type Work @default.
- W2104429191 sameAs 2104429191 @default.
- W2104429191 citedByCount "9" @default.
- W2104429191 countsByYear W21044291912013 @default.
- W2104429191 crossrefType "proceedings-article" @default.
- W2104429191 hasAuthorship W2104429191A5002090753 @default.
- W2104429191 hasAuthorship W2104429191A5003640963 @default.
- W2104429191 hasAuthorship W2104429191A5011902302 @default.
- W2104429191 hasConcept C41008148 @default.
- W2104429191 hasConceptScore W2104429191C41008148 @default.
- W2104429191 hasLocation W21044291911 @default.
- W2104429191 hasOpenAccess W2104429191 @default.
- W2104429191 hasPrimaryLocation W21044291911 @default.
- W2104429191 hasRelatedWork W1596801655 @default.
- W2104429191 hasRelatedWork W2130043461 @default.
- W2104429191 hasRelatedWork W2350741829 @default.
- W2104429191 hasRelatedWork W2358668433 @default.
- W2104429191 hasRelatedWork W2376932109 @default.
- W2104429191 hasRelatedWork W2382290278 @default.
- W2104429191 hasRelatedWork W2390279801 @default.
- W2104429191 hasRelatedWork W2748952813 @default.
- W2104429191 hasRelatedWork W2899084033 @default.
- W2104429191 hasRelatedWork W2530322880 @default.
- W2104429191 isParatext "false" @default.
- W2104429191 isRetracted "false" @default.
- W2104429191 magId "2104429191" @default.
- W2104429191 workType "article" @default.