Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530069485> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1530069485 endingPage "24" @default.
- W1530069485 startingPage "7" @default.
- W1530069485 abstract "Salcianu and Rinard present a compositional purity analysis that computes a summary for every procedure describing its side-effects. In this paper, we formalize a generalization of this analysis as an abstract interpretation, present several optimizations and an empirical evaluation showing the value of these optimizations. The Salcianu-Rinard analysis makes use of abstract heap graphs, similar to various heap analyses and computes a shape graph at every program point of an analyzed procedure. The key to our formalization is to view the shape graphs of the analysis as an abstract state transformer rather than as a set of abstract states: the concretization of a shape graph is a function that maps a concrete state to a set of concrete states. The abstract interpretation formulation leads to a better understanding of the algorithm. More importantly, it makes it easier to change and extend the basic algorithm, while guaranteeing correctness, as illustrated by our optimizations." @default.
- W1530069485 created "2016-06-24" @default.
- W1530069485 creator A5004372652 @default.
- W1530069485 creator A5005900665 @default.
- W1530069485 creator A5011779401 @default.
- W1530069485 date "2011-01-01" @default.
- W1530069485 modified "2023-09-23" @default.
- W1530069485 title "Purity Analysis: An Abstract Interpretation Formulation" @default.
- W1530069485 cites W1494768888 @default.
- W1530069485 cites W1500987966 @default.
- W1530069485 cites W1552065586 @default.
- W1530069485 cites W1593165330 @default.
- W1530069485 cites W1974604404 @default.
- W1530069485 cites W2036208810 @default.
- W1530069485 cites W2077850509 @default.
- W1530069485 cites W2084875723 @default.
- W1530069485 cites W2141539412 @default.
- W1530069485 cites W2147492162 @default.
- W1530069485 cites W2170577595 @default.
- W1530069485 cites W3015951847 @default.
- W1530069485 doi "https://doi.org/10.1007/978-3-642-23702-7_6" @default.
- W1530069485 hasPublicationYear "2011" @default.
- W1530069485 type Work @default.
- W1530069485 sameAs 1530069485 @default.
- W1530069485 citedByCount "11" @default.
- W1530069485 countsByYear W15300694852012 @default.
- W1530069485 countsByYear W15300694852014 @default.
- W1530069485 countsByYear W15300694852015 @default.
- W1530069485 countsByYear W15300694852016 @default.
- W1530069485 countsByYear W15300694852017 @default.
- W1530069485 countsByYear W15300694852019 @default.
- W1530069485 crossrefType "book-chapter" @default.
- W1530069485 hasAuthorship W1530069485A5004372652 @default.
- W1530069485 hasAuthorship W1530069485A5005900665 @default.
- W1530069485 hasAuthorship W1530069485A5011779401 @default.
- W1530069485 hasConcept C106937863 @default.
- W1530069485 hasConcept C11413529 @default.
- W1530069485 hasConcept C132525143 @default.
- W1530069485 hasConcept C134757568 @default.
- W1530069485 hasConcept C199360897 @default.
- W1530069485 hasConcept C2780654840 @default.
- W1530069485 hasConcept C41008148 @default.
- W1530069485 hasConcept C527412718 @default.
- W1530069485 hasConcept C55439883 @default.
- W1530069485 hasConcept C80444323 @default.
- W1530069485 hasConceptScore W1530069485C106937863 @default.
- W1530069485 hasConceptScore W1530069485C11413529 @default.
- W1530069485 hasConceptScore W1530069485C132525143 @default.
- W1530069485 hasConceptScore W1530069485C134757568 @default.
- W1530069485 hasConceptScore W1530069485C199360897 @default.
- W1530069485 hasConceptScore W1530069485C2780654840 @default.
- W1530069485 hasConceptScore W1530069485C41008148 @default.
- W1530069485 hasConceptScore W1530069485C527412718 @default.
- W1530069485 hasConceptScore W1530069485C55439883 @default.
- W1530069485 hasConceptScore W1530069485C80444323 @default.
- W1530069485 hasLocation W15300694851 @default.
- W1530069485 hasOpenAccess W1530069485 @default.
- W1530069485 hasPrimaryLocation W15300694851 @default.
- W1530069485 hasRelatedWork W1516169988 @default.
- W1530069485 hasRelatedWork W1530069485 @default.
- W1530069485 hasRelatedWork W1944388879 @default.
- W1530069485 hasRelatedWork W1968011359 @default.
- W1530069485 hasRelatedWork W2016527594 @default.
- W1530069485 hasRelatedWork W2951137283 @default.
- W1530069485 hasRelatedWork W2963118468 @default.
- W1530069485 hasRelatedWork W3147812817 @default.
- W1530069485 hasRelatedWork W4298767027 @default.
- W1530069485 hasRelatedWork W4301430421 @default.
- W1530069485 isParatext "false" @default.
- W1530069485 isRetracted "false" @default.
- W1530069485 magId "1530069485" @default.
- W1530069485 workType "book-chapter" @default.