Matches in SemOpenAlex for { <https://semopenalex.org/work/W1482397304> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1482397304 endingPage "51" @default.
- W1482397304 startingPage "27" @default.
- W1482397304 abstract "We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Memory Model section of the Java Language Specification. The main design goal of the Java Memory Model (JMM) was to allow as many optimisations as possible. However, we find that commonly used optimisations, such as common subexpression elimination, can introduce new behaviours and so are invalid for Java. In this paper, we describe several kinds of transformations and explain the problems with a number of counterexamples. More positively, we also examine some valid transformations, and prove their validity. Our study contributes to the understanding of the JMM, and has the practical impact of revealing some cases where the Sun Hotspot JVM does not comply with the Java Memory Model." @default.
- W1482397304 created "2016-06-24" @default.
- W1482397304 creator A5013254098 @default.
- W1482397304 creator A5028591689 @default.
- W1482397304 date "2008-08-12" @default.
- W1482397304 modified "2023-10-17" @default.
- W1482397304 title "On Validity of Program Transformations in the Java Memory Model" @default.
- W1482397304 cites W1588593984 @default.
- W1482397304 cites W1589643726 @default.
- W1482397304 cites W1594381772 @default.
- W1482397304 cites W2029601347 @default.
- W1482397304 cites W2033818578 @default.
- W1482397304 cites W2091085450 @default.
- W1482397304 cites W2092002125 @default.
- W1482397304 cites W2125398300 @default.
- W1482397304 cites W2165365531 @default.
- W1482397304 cites W2167290885 @default.
- W1482397304 cites W2996811965 @default.
- W1482397304 doi "https://doi.org/10.1007/978-3-540-70592-5_3" @default.
- W1482397304 hasPublicationYear "2008" @default.
- W1482397304 type Work @default.
- W1482397304 sameAs 1482397304 @default.
- W1482397304 citedByCount "152" @default.
- W1482397304 countsByYear W14823973042012 @default.
- W1482397304 countsByYear W14823973042013 @default.
- W1482397304 countsByYear W14823973042014 @default.
- W1482397304 countsByYear W14823973042015 @default.
- W1482397304 countsByYear W14823973042016 @default.
- W1482397304 countsByYear W14823973042017 @default.
- W1482397304 countsByYear W14823973042018 @default.
- W1482397304 countsByYear W14823973042019 @default.
- W1482397304 countsByYear W14823973042020 @default.
- W1482397304 countsByYear W14823973042021 @default.
- W1482397304 countsByYear W14823973042022 @default.
- W1482397304 countsByYear W14823973042023 @default.
- W1482397304 crossrefType "book-chapter" @default.
- W1482397304 hasAuthorship W1482397304A5013254098 @default.
- W1482397304 hasAuthorship W1482397304A5028591689 @default.
- W1482397304 hasConcept C109701466 @default.
- W1482397304 hasConcept C111919701 @default.
- W1482397304 hasConcept C118615104 @default.
- W1482397304 hasConcept C12186640 @default.
- W1482397304 hasConcept C132106392 @default.
- W1482397304 hasConcept C133875982 @default.
- W1482397304 hasConcept C162838799 @default.
- W1482397304 hasConcept C168702491 @default.
- W1482397304 hasConcept C172482141 @default.
- W1482397304 hasConcept C181907185 @default.
- W1482397304 hasConcept C199360897 @default.
- W1482397304 hasConcept C33923547 @default.
- W1482397304 hasConcept C41008148 @default.
- W1482397304 hasConcept C548217200 @default.
- W1482397304 hasConcept C60945770 @default.
- W1482397304 hasConceptScore W1482397304C109701466 @default.
- W1482397304 hasConceptScore W1482397304C111919701 @default.
- W1482397304 hasConceptScore W1482397304C118615104 @default.
- W1482397304 hasConceptScore W1482397304C12186640 @default.
- W1482397304 hasConceptScore W1482397304C132106392 @default.
- W1482397304 hasConceptScore W1482397304C133875982 @default.
- W1482397304 hasConceptScore W1482397304C162838799 @default.
- W1482397304 hasConceptScore W1482397304C168702491 @default.
- W1482397304 hasConceptScore W1482397304C172482141 @default.
- W1482397304 hasConceptScore W1482397304C181907185 @default.
- W1482397304 hasConceptScore W1482397304C199360897 @default.
- W1482397304 hasConceptScore W1482397304C33923547 @default.
- W1482397304 hasConceptScore W1482397304C41008148 @default.
- W1482397304 hasConceptScore W1482397304C548217200 @default.
- W1482397304 hasConceptScore W1482397304C60945770 @default.
- W1482397304 hasLocation W14823973041 @default.
- W1482397304 hasOpenAccess W1482397304 @default.
- W1482397304 hasPrimaryLocation W14823973041 @default.
- W1482397304 hasRelatedWork W1560812729 @default.
- W1482397304 hasRelatedWork W2117534212 @default.
- W1482397304 hasRelatedWork W2122434855 @default.
- W1482397304 hasRelatedWork W2531562562 @default.
- W1482397304 hasRelatedWork W2541866089 @default.
- W1482397304 hasRelatedWork W2547095320 @default.
- W1482397304 hasRelatedWork W3172992491 @default.
- W1482397304 hasRelatedWork W321450354 @default.
- W1482397304 hasRelatedWork W4293031961 @default.
- W1482397304 hasRelatedWork W590871224 @default.
- W1482397304 isParatext "false" @default.
- W1482397304 isRetracted "false" @default.
- W1482397304 magId "1482397304" @default.
- W1482397304 workType "book-chapter" @default.