Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898097209> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2898097209 endingPage "29" @default.
- W2898097209 startingPage "1" @default.
- W2898097209 abstract "Even though many programmers rely on 3-way merge tools to integrate changes from different branches, such tools can introduce subtle bugs in the integration process. This paper aims to mitigate this problem by defining a semantic notion of conflict-freedom, which ensures that the merged program does not introduce new unwanted behaviors. We also show how to verify this property using a novel, compositional algorithm that combines lightweight summarization for shared program fragments with precise relational reasoning for the modifications. Towards this goal, our method uses a 4-way differencing algorithm on abstract syntax trees to represent different program versions as edits applied to a shared program with holes. This representation allows our verification algorithm to reason about different edits in isolation and compose them to obtain an overall proof of conflict freedom. We have implemented the proposed technique in a new tool called SafeMerge for Java and evaluate it on 52 real-world merge scenarios obtained from Github. The experimental results demonstrate the benefits of our approach over syntactic conflict-freedom and indicate that SafeMerge is both precise and practical." @default.
- W2898097209 created "2018-11-02" @default.
- W2898097209 creator A5006424908 @default.
- W2898097209 creator A5006848018 @default.
- W2898097209 creator A5041084431 @default.
- W2898097209 date "2018-10-24" @default.
- W2898097209 modified "2023-10-17" @default.
- W2898097209 title "Verified three-way program merge" @default.
- W2898097209 cites W1545038039 @default.
- W2898097209 cites W1587844310 @default.
- W2898097209 cites W1971741152 @default.
- W2898097209 cites W1993836075 @default.
- W2898097209 cites W1996993752 @default.
- W2898097209 cites W2002537332 @default.
- W2898097209 cites W2007267771 @default.
- W2898097209 cites W2039222548 @default.
- W2898097209 cites W2046368237 @default.
- W2898097209 cites W2049134176 @default.
- W2898097209 cites W2064625489 @default.
- W2898097209 cites W2067871120 @default.
- W2898097209 cites W2074888021 @default.
- W2898097209 cites W2097985262 @default.
- W2898097209 cites W2108629523 @default.
- W2898097209 cites W2115974895 @default.
- W2898097209 cites W2121457325 @default.
- W2898097209 cites W2138224468 @default.
- W2898097209 cites W2139799388 @default.
- W2898097209 cites W2147130904 @default.
- W2898097209 cites W2162744351 @default.
- W2898097209 cites W2418260908 @default.
- W2898097209 cites W2591626899 @default.
- W2898097209 cites W2597868857 @default.
- W2898097209 cites W26752331 @default.
- W2898097209 cites W2761459579 @default.
- W2898097209 cites W2997326335 @default.
- W2898097209 cites W3161811838 @default.
- W2898097209 doi "https://doi.org/10.1145/3276535" @default.
- W2898097209 hasPublicationYear "2018" @default.
- W2898097209 type Work @default.
- W2898097209 sameAs 2898097209 @default.
- W2898097209 citedByCount "26" @default.
- W2898097209 countsByYear W28980972092018 @default.
- W2898097209 countsByYear W28980972092019 @default.
- W2898097209 countsByYear W28980972092020 @default.
- W2898097209 countsByYear W28980972092021 @default.
- W2898097209 countsByYear W28980972092022 @default.
- W2898097209 countsByYear W28980972092023 @default.
- W2898097209 crossrefType "journal-article" @default.
- W2898097209 hasAuthorship W2898097209A5006424908 @default.
- W2898097209 hasAuthorship W2898097209A5006848018 @default.
- W2898097209 hasAuthorship W2898097209A5041084431 @default.
- W2898097209 hasBestOaLocation W28980972091 @default.
- W2898097209 hasConcept C108094655 @default.
- W2898097209 hasConcept C111696304 @default.
- W2898097209 hasConcept C140086265 @default.
- W2898097209 hasConcept C154945302 @default.
- W2898097209 hasConcept C170858558 @default.
- W2898097209 hasConcept C197129107 @default.
- W2898097209 hasConcept C199360897 @default.
- W2898097209 hasConcept C23123220 @default.
- W2898097209 hasConcept C41008148 @default.
- W2898097209 hasConcept C548217200 @default.
- W2898097209 hasConcept C80444323 @default.
- W2898097209 hasConceptScore W2898097209C108094655 @default.
- W2898097209 hasConceptScore W2898097209C111696304 @default.
- W2898097209 hasConceptScore W2898097209C140086265 @default.
- W2898097209 hasConceptScore W2898097209C154945302 @default.
- W2898097209 hasConceptScore W2898097209C170858558 @default.
- W2898097209 hasConceptScore W2898097209C197129107 @default.
- W2898097209 hasConceptScore W2898097209C199360897 @default.
- W2898097209 hasConceptScore W2898097209C23123220 @default.
- W2898097209 hasConceptScore W2898097209C41008148 @default.
- W2898097209 hasConceptScore W2898097209C548217200 @default.
- W2898097209 hasConceptScore W2898097209C80444323 @default.
- W2898097209 hasFunder F4320306076 @default.
- W2898097209 hasFunder F4320338294 @default.
- W2898097209 hasIssue "OOPSLA" @default.
- W2898097209 hasLocation W28980972091 @default.
- W2898097209 hasOpenAccess W2898097209 @default.
- W2898097209 hasPrimaryLocation W28980972091 @default.
- W2898097209 hasRelatedWork W2158198137 @default.
- W2898097209 hasRelatedWork W2285613413 @default.
- W2898097209 hasRelatedWork W2308250245 @default.
- W2898097209 hasRelatedWork W2351187795 @default.
- W2898097209 hasRelatedWork W2380641910 @default.
- W2898097209 hasRelatedWork W2389846579 @default.
- W2898097209 hasRelatedWork W2561691764 @default.
- W2898097209 hasRelatedWork W2589098947 @default.
- W2898097209 hasRelatedWork W3000457305 @default.
- W2898097209 hasRelatedWork W2528467228 @default.
- W2898097209 hasVolume "2" @default.
- W2898097209 isParatext "false" @default.
- W2898097209 isRetracted "false" @default.
- W2898097209 magId "2898097209" @default.
- W2898097209 workType "article" @default.