FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3015970086> ?p ?o ?g. }

• W3015970086 endingPage "828" @default.
• W3015970086 startingPage "811" @default.
• W3015970086 abstract "We address the problem of computing semantic differences between a program and a patched version of the program. Our goal is to obtain a precise characterization of the difference between program versions, or establish their equivalence. We focus on infinite-state numerical programs, and use abstract interpretation to compute an over-approximation of program differences. Computing differences and establishing equivalence under abstraction requires abstracting relationships between variables in the two programs. Towards that end, we use a correlating abstract domain to compute a sound approximation of these relationships which captures semantic difference. This approximation can be computed over any interleaving of the two programs. However, the choice of interleaving can significantly affect precision. We present a speculative search algorithm that aims to find an interleaving of the two programs with minimal abstract semantic difference. This method is unique as it allows the analysis to dynamically alternate between several interleavings. We have implemented our approach and applied it to real-world examples including patches from Git, GNU Coreutils, as well as a few handpicked patches from the Linux kernel and the Mozilla Firefox web browser. Our evaluation shows that we compute precise approximations of semantic differences, and report few false differences." @default.
• W3015970086 created "2020-04-17" @default.
• W3015970086 creator A5006542273 @default.
• W3015970086 creator A5036977806 @default.
• W3015970086 date "2014-10-15" @default.
• W3015970086 modified "2023-10-17" @default.
• W3015970086 title "Abstract semantic differencing via speculative correlation" @default.
• W3015970086 cites W1545038039 @default.
• W3015970086 cites W1606177908 @default.
• W3015970086 cites W1750827721 @default.
• W3015970086 cites W1973828066 @default.
• W3015970086 cites W1997960810 @default.
• W3015970086 cites W203808516 @default.
• W3015970086 cites W2040856861 @default.
• W3015970086 cites W2043100293 @default.
• W3015970086 cites W2043876870 @default.
• W3015970086 cites W2044870852 @default.
• W3015970086 cites W2060407451 @default.
• W3015970086 cites W2064625489 @default.
• W3015970086 cites W2065135305 @default.
• W3015970086 cites W2069560114 @default.
• W3015970086 cites W2074888021 @default.
• W3015970086 cites W2101635160 @default.
• W3015970086 cites W2105157994 @default.
• W3015970086 cites W2112725702 @default.
• W3015970086 cites W2130308071 @default.
• W3015970086 cites W2132129899 @default.
• W3015970086 cites W2132661148 @default.
• W3015970086 cites W2138224468 @default.
• W3015970086 cites W2139799388 @default.
• W3015970086 cites W2149674423 @default.
• W3015970086 cites W2149996206 @default.
• W3015970086 cites W2165597437 @default.
• W3015970086 cites W2293092623 @default.
• W3015970086 cites W2611597182 @default.
• W3015970086 cites W2987907651 @default.
• W3015970086 cites W3158747708 @default.
• W3015970086 cites W4237492309 @default.
• W3015970086 doi "https://doi.org/10.1145/2714064.2660245" @default.
• W3015970086 hasPublicationYear "2014" @default.
• W3015970086 type Work @default.
• W3015970086 sameAs 3015970086 @default.
• W3015970086 citedByCount "10" @default.
• W3015970086 countsByYear W30159700862015 @default.
• W3015970086 countsByYear W30159700862016 @default.
• W3015970086 countsByYear W30159700862017 @default.
• W3015970086 countsByYear W30159700862018 @default.
• W3015970086 countsByYear W30159700862019 @default.
• W3015970086 countsByYear W30159700862022 @default.
• W3015970086 crossrefType "journal-article" @default.
• W3015970086 hasAuthorship W3015970086A5006542273 @default.
• W3015970086 hasAuthorship W3015970086A5036977806 @default.
• W3015970086 hasConcept C111472728 @default.
• W3015970086 hasConcept C111919701 @default.
• W3015970086 hasConcept C11413529 @default.
• W3015970086 hasConcept C118615104 @default.
• W3015970086 hasConcept C124304363 @default.
• W3015970086 hasConcept C138885662 @default.
• W3015970086 hasConcept C154945302 @default.
• W3015970086 hasConcept C199360897 @default.
• W3015970086 hasConcept C2129575 @default.
• W3015970086 hasConcept C2780069185 @default.
• W3015970086 hasConcept C2780654840 @default.
• W3015970086 hasConcept C28034677 @default.
• W3015970086 hasConcept C33923547 @default.
• W3015970086 hasConcept C37926939 @default.
• W3015970086 hasConcept C41008148 @default.
• W3015970086 hasConcept C511149849 @default.
• W3015970086 hasConcept C553261973 @default.
• W3015970086 hasConcept C80444323 @default.
• W3015970086 hasConceptScore W3015970086C111472728 @default.
• W3015970086 hasConceptScore W3015970086C111919701 @default.
• W3015970086 hasConceptScore W3015970086C11413529 @default.
• W3015970086 hasConceptScore W3015970086C118615104 @default.
• W3015970086 hasConceptScore W3015970086C124304363 @default.
• W3015970086 hasConceptScore W3015970086C138885662 @default.
• W3015970086 hasConceptScore W3015970086C154945302 @default.
• W3015970086 hasConceptScore W3015970086C199360897 @default.
• W3015970086 hasConceptScore W3015970086C2129575 @default.
• W3015970086 hasConceptScore W3015970086C2780069185 @default.
• W3015970086 hasConceptScore W3015970086C2780654840 @default.
• W3015970086 hasConceptScore W3015970086C28034677 @default.
• W3015970086 hasConceptScore W3015970086C33923547 @default.
• W3015970086 hasConceptScore W3015970086C37926939 @default.
• W3015970086 hasConceptScore W3015970086C41008148 @default.
• W3015970086 hasConceptScore W3015970086C511149849 @default.
• W3015970086 hasConceptScore W3015970086C553261973 @default.
• W3015970086 hasConceptScore W3015970086C80444323 @default.
• W3015970086 hasIssue "10" @default.
• W3015970086 hasLocation W30159700861 @default.
• W3015970086 hasOpenAccess W3015970086 @default.
• W3015970086 hasPrimaryLocation W30159700861 @default.
• W3015970086 hasRelatedWork W1571087964 @default.
• W3015970086 hasRelatedWork W167896555 @default.
• W3015970086 hasRelatedWork W2172022734 @default.
• W3015970086 hasRelatedWork W2177212599 @default.
• W3015970086 hasRelatedWork W2952657391 @default.
• W3015970086 hasRelatedWork W3015970086 @default.

• next