Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000931408> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2000931408 abstract "We describe, and give experience with, a new method of intraprocedural data flow analysis on reducible flow-graphs[9]. The method is advantageous in imbedded applications where the added value of improved performance justifies substantial optimization effort, but extremely powerful data flow analysis is required due to the code profile.The method is unusual in that (1) various kinds of forward data flow analysis are done simultaneously, so that benefit is derived from informative interactions (e.g. between constant propagation[7] and alias analysis[8]) and (2) we abandon insistence on reaching a least fixed point, allowing us to handle extremely broad classes of information (e.g., inequality of array indices, which implies non-aliasing in array references).We argue that the gain from using a very rich framework more than offsets the loss due to non-minimal fixed points, and justify this with a 'thought experiment' and practical results." @default.
- W2000931408 created "2016-06-24" @default.
- W2000931408 creator A5086763901 @default.
- W2000931408 date "1986-07-01" @default.
- W2000931408 modified "2023-10-16" @default.
- W2000931408 title "Data flow analysis for `intractable' system software" @default.
- W2000931408 cites W1980885047 @default.
- W2000931408 cites W2003011196 @default.
- W2000931408 cites W2045818721 @default.
- W2000931408 cites W2116446217 @default.
- W2000931408 cites W2534652523 @default.
- W2000931408 cites W1571012617 @default.
- W2000931408 doi "https://doi.org/10.1145/12276.13322" @default.
- W2000931408 hasPublicationYear "1986" @default.
- W2000931408 type Work @default.
- W2000931408 sameAs 2000931408 @default.
- W2000931408 citedByCount "8" @default.
- W2000931408 countsByYear W20009314082014 @default.
- W2000931408 crossrefType "proceedings-article" @default.
- W2000931408 hasAuthorship W2000931408A5086763901 @default.
- W2000931408 hasConcept C115903868 @default.
- W2000931408 hasConcept C199360897 @default.
- W2000931408 hasConcept C2524010 @default.
- W2000931408 hasConcept C2777904410 @default.
- W2000931408 hasConcept C33923547 @default.
- W2000931408 hasConcept C38349280 @default.
- W2000931408 hasConcept C41008148 @default.
- W2000931408 hasConcept C489000 @default.
- W2000931408 hasConcept C77088390 @default.
- W2000931408 hasConcept C88468194 @default.
- W2000931408 hasConceptScore W2000931408C115903868 @default.
- W2000931408 hasConceptScore W2000931408C199360897 @default.
- W2000931408 hasConceptScore W2000931408C2524010 @default.
- W2000931408 hasConceptScore W2000931408C2777904410 @default.
- W2000931408 hasConceptScore W2000931408C33923547 @default.
- W2000931408 hasConceptScore W2000931408C38349280 @default.
- W2000931408 hasConceptScore W2000931408C41008148 @default.
- W2000931408 hasConceptScore W2000931408C489000 @default.
- W2000931408 hasConceptScore W2000931408C77088390 @default.
- W2000931408 hasConceptScore W2000931408C88468194 @default.
- W2000931408 hasLocation W20009314081 @default.
- W2000931408 hasOpenAccess W2000931408 @default.
- W2000931408 hasPrimaryLocation W20009314081 @default.
- W2000931408 hasRelatedWork W1499795143 @default.
- W2000931408 hasRelatedWork W1502956417 @default.
- W2000931408 hasRelatedWork W1537385553 @default.
- W2000931408 hasRelatedWork W2080682474 @default.
- W2000931408 hasRelatedWork W2085677951 @default.
- W2000931408 hasRelatedWork W2103326816 @default.
- W2000931408 hasRelatedWork W2352941438 @default.
- W2000931408 hasRelatedWork W2370043872 @default.
- W2000931408 hasRelatedWork W2760684713 @default.
- W2000931408 hasRelatedWork W4285143823 @default.
- W2000931408 isParatext "false" @default.
- W2000931408 isRetracted "false" @default.
- W2000931408 magId "2000931408" @default.
- W2000931408 workType "article" @default.