Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993590029> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1993590029 abstract "Traditional optimization techniques for sequential programs are not directly applicable to parallel programs where concurrent activities may interfere with each other through shared variables. New compiler techniques must be developed to accommodate features found in parallel languages. In this paper, we use abstract interpretation to obtain useful properties of programs, e.g., side effects, data dependences, object lifetime and concurrent expressions, for a language that supports first-class functions, pointers, dynamic allocations and explicit parallelism through cobegin. These analyses may facilitate many applications, such as program optimization, parallelization, restructuring, memory management, and detecting access anomalies.Our semantics is based on a labeled transition system and is instrumented with procedure strings to record the procedural/concurrency movement along the program interpretation. We develop analyses in both concrete domains and abstract domains, and prove the correctness and termination of the abstract interpretation." @default.
- W1993590029 created "2016-06-24" @default.
- W1993590029 creator A5054564115 @default.
- W1993590029 creator A5076287212 @default.
- W1993590029 date "1992-01-01" @default.
- W1993590029 modified "2023-10-18" @default.
- W1993590029 title "Compile-time analysis of parallel programs that share memory" @default.
- W1993590029 cites W1491161008 @default.
- W1993590029 cites W1544092322 @default.
- W1993590029 cites W156690058 @default.
- W1993590029 cites W187774245 @default.
- W1993590029 cites W1924152497 @default.
- W1993590029 cites W1984909114 @default.
- W1993590029 cites W2021986357 @default.
- W1993590029 cites W2024748881 @default.
- W1993590029 cites W2024851363 @default.
- W1993590029 cites W2039509099 @default.
- W1993590029 cites W2043100293 @default.
- W1993590029 cites W2047896115 @default.
- W1993590029 cites W2051600983 @default.
- W1993590029 cites W2111695742 @default.
- W1993590029 cites W2138986001 @default.
- W1993590029 cites W2141981779 @default.
- W1993590029 cites W2149843953 @default.
- W1993590029 cites W3023552409 @default.
- W1993590029 cites W383327177 @default.
- W1993590029 cites W8302212 @default.
- W1993590029 doi "https://doi.org/10.1145/143165.143194" @default.
- W1993590029 hasPublicationYear "1992" @default.
- W1993590029 type Work @default.
- W1993590029 sameAs 1993590029 @default.
- W1993590029 citedByCount "28" @default.
- W1993590029 countsByYear W19935900292021 @default.
- W1993590029 crossrefType "proceedings-article" @default.
- W1993590029 hasAuthorship W1993590029A5054564115 @default.
- W1993590029 hasAuthorship W1993590029A5076287212 @default.
- W1993590029 hasConcept C118524514 @default.
- W1993590029 hasConcept C169590947 @default.
- W1993590029 hasConcept C173608175 @default.
- W1993590029 hasConcept C199360897 @default.
- W1993590029 hasConcept C200833197 @default.
- W1993590029 hasConcept C41008148 @default.
- W1993590029 hasConceptScore W1993590029C118524514 @default.
- W1993590029 hasConceptScore W1993590029C169590947 @default.
- W1993590029 hasConceptScore W1993590029C173608175 @default.
- W1993590029 hasConceptScore W1993590029C199360897 @default.
- W1993590029 hasConceptScore W1993590029C200833197 @default.
- W1993590029 hasConceptScore W1993590029C41008148 @default.
- W1993590029 hasLocation W19935900291 @default.
- W1993590029 hasOpenAccess W1993590029 @default.
- W1993590029 hasPrimaryLocation W19935900291 @default.
- W1993590029 hasRelatedWork W1497385637 @default.
- W1993590029 hasRelatedWork W1583465708 @default.
- W1993590029 hasRelatedWork W1601646354 @default.
- W1993590029 hasRelatedWork W2078700326 @default.
- W1993590029 hasRelatedWork W2086733238 @default.
- W1993590029 hasRelatedWork W2192862863 @default.
- W1993590029 hasRelatedWork W2369288331 @default.
- W1993590029 hasRelatedWork W3145485722 @default.
- W1993590029 hasRelatedWork W1482645738 @default.
- W1993590029 hasRelatedWork W2479014312 @default.
- W1993590029 isParatext "false" @default.
- W1993590029 isRetracted "false" @default.
- W1993590029 magId "1993590029" @default.
- W1993590029 workType "article" @default.