FRINK Linked Data Fragments server

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

• W3124287997 abstract "A refactoring must preserve the program's functionality. However, not all refactorings are correct. Preservation of the functionality must be checked. Since programs are rarely formally specified, we use the original program as functional specification and check whether the original and refactored program are functionally equivalent. More concretely, our PEQcheck technique follows a common approach and reduces equivalence checking to program verification. To increase efficiency, PEQcheck generates several verification tasks, namely one per refactored code segment and not one per function as typically done by prior work. Additionally, PEQcheck takes the context of the segments into account. For example, only modified, live variables need to be equivalent and read-only variables can be shared between original and refactored code segments. We proved soundness of our PEQcheck technique and implemented it in a prototype tool. Our evaluation shows that the localized checking of PEQcheck can indeed be beneficial." @default.
• W3124287997 created "2021-02-01" @default.
• W3124287997 creator A5062004374 @default.
• W3124287997 date "2021-01-22" @default.
• W3124287997 modified "2023-09-27" @default.
• W3124287997 title "PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)." @default.
• W3124287997 cites W1480909796 @default.
• W3124287997 cites W1553894716 @default.
• W3124287997 cites W1571270325 @default.
• W3124287997 cites W1750827721 @default.
• W3124287997 cites W1771925833 @default.
• W3124287997 cites W1856462361 @default.
• W3124287997 cites W1976665040 @default.
• W3124287997 cites W1978898818 @default.
• W3124287997 cites W2006508316 @default.
• W3124287997 cites W2014515160 @default.
• W3124287997 cites W2015321775 @default.
• W3124287997 cites W2031525781 @default.
• W3124287997 cites W2063362342 @default.
• W3124287997 cites W2067871120 @default.
• W3124287997 cites W2074888021 @default.
• W3124287997 cites W2089824868 @default.
• W3124287997 cites W2090321041 @default.
• W3124287997 cites W2103057263 @default.
• W3124287997 cites W2108629523 @default.
• W3124287997 cites W2115974895 @default.
• W3124287997 cites W2116608881 @default.
• W3124287997 cites W2116752800 @default.
• W3124287997 cites W2134087751 @default.
• W3124287997 cites W2136722735 @default.
• W3124287997 cites W2149674423 @default.
• W3124287997 cites W2149996206 @default.
• W3124287997 cites W2151828216 @default.
• W3124287997 cites W2152565783 @default.
• W3124287997 cites W2153887189 @default.
• W3124287997 cites W2161253570 @default.
• W3124287997 cites W2171383742 @default.
• W3124287997 cites W2293092623 @default.
• W3124287997 cites W2548523184 @default.
• W3124287997 cites W2591626899 @default.
• W3124287997 cites W2652340807 @default.
• W3124287997 cites W2771024256 @default.
• W3124287997 cites W2782472620 @default.
• W3124287997 cites W2954725723 @default.
• W3124287997 cites W3098557859 @default.
• W3124287997 cites W3174887443 @default.
• W3124287997 cites W57185801 @default.
• W3124287997 hasPublicationYear "2021" @default.
• W3124287997 type Work @default.
• W3124287997 sameAs 3124287997 @default.
• W3124287997 citedByCount "0" @default.
• W3124287997 crossrefType "posted-content" @default.
• W3124287997 hasAuthorship W3124287997A5062004374 @default.
• W3124287997 hasConcept C118615104 @default.
• W3124287997 hasConcept C138885662 @default.
• W3124287997 hasConcept C151730666 @default.
• W3124287997 hasConcept C152752567 @default.
• W3124287997 hasConcept C177264268 @default.
• W3124287997 hasConcept C199360897 @default.
• W3124287997 hasConcept C2776760102 @default.
• W3124287997 hasConcept C2777904410 @default.
• W3124287997 hasConcept C2779343474 @default.
• W3124287997 hasConcept C2780069185 @default.
• W3124287997 hasConcept C2988012377 @default.
• W3124287997 hasConcept C33923547 @default.
• W3124287997 hasConcept C39920170 @default.
• W3124287997 hasConcept C41008148 @default.
• W3124287997 hasConcept C41895202 @default.
• W3124287997 hasConcept C86803240 @default.
• W3124287997 hasConceptScore W3124287997C118615104 @default.
• W3124287997 hasConceptScore W3124287997C138885662 @default.
• W3124287997 hasConceptScore W3124287997C151730666 @default.
• W3124287997 hasConceptScore W3124287997C152752567 @default.
• W3124287997 hasConceptScore W3124287997C177264268 @default.
• W3124287997 hasConceptScore W3124287997C199360897 @default.
• W3124287997 hasConceptScore W3124287997C2776760102 @default.
• W3124287997 hasConceptScore W3124287997C2777904410 @default.
• W3124287997 hasConceptScore W3124287997C2779343474 @default.
• W3124287997 hasConceptScore W3124287997C2780069185 @default.
• W3124287997 hasConceptScore W3124287997C2988012377 @default.
• W3124287997 hasConceptScore W3124287997C33923547 @default.
• W3124287997 hasConceptScore W3124287997C39920170 @default.
• W3124287997 hasConceptScore W3124287997C41008148 @default.
• W3124287997 hasConceptScore W3124287997C41895202 @default.
• W3124287997 hasConceptScore W3124287997C86803240 @default.
• W3124287997 hasLocation W31242879971 @default.
• W3124287997 hasOpenAccess W3124287997 @default.
• W3124287997 hasPrimaryLocation W31242879971 @default.
• W3124287997 hasRelatedWork W1238319306 @default.
• W3124287997 hasRelatedWork W14116631 @default.
• W3124287997 hasRelatedWork W1575949168 @default.
• W3124287997 hasRelatedWork W2000010369 @default.
• W3124287997 hasRelatedWork W2008716112 @default.
• W3124287997 hasRelatedWork W2020239492 @default.
• W3124287997 hasRelatedWork W2099587209 @default.
• W3124287997 hasRelatedWork W2295526563 @default.
• W3124287997 hasRelatedWork W2338349010 @default.
• W3124287997 hasRelatedWork W2338367696 @default.
• W3124287997 hasRelatedWork W2788542082 @default.
• W3124287997 hasRelatedWork W2898267029 @default.

• next