FRINK Linked Data Fragments server

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

• W2079684794 endingPage "39" @default.
• W2079684794 startingPage "3" @default.
• W2079684794 abstract "Trace exploration is concerned with techniques that allow computation traces to be dynamically searched for specific contents. Depending on whether the exploration is carried backward or forward, trace exploration techniques allow provenance tracking or impact tracking to be done. The aim of provenance tracking is to show how (parts of) a program output depends on (parts of) its input and to help estimate which input data need to be modified to accomplish a change in the outcome. The aim of impact tracking is to identify the scope and potential consequences of changing the program input. Rewriting Logic (RWL) is a logic of change that supplements (an extension of) the equational logic by adding rewrite rules that are used to describe (nondeterministic) transitions between states. In this paper, we present a rich and highly dynamic, parameterized technique for the forward inspection of RWL computations that allows the nondeterministic execution of a given conditional rewrite theory to be followed up in different ways. With this technique, an analyst can browse, slice, filter, or search the traces as they come to life during the program execution. The navigation of the trace is driven by a user-defined, inspection criterion that specifies the required exploration mode. By selecting different inspection criteria, one can automatically derive a family of practical algorithms such as program steppers and more sophisticated dynamic trace slicers that compute summaries of the computation tree, thereby facilitating the dynamic detection of control and data dependencies across the tree. Our methodology, which is implemented in the Anima graphical tool, allows users to evaluate the effects of a given statement or instruction in isolation, track input change impact, and gain insight into program behavior (or misbehavior)." @default.
• W2079684794 created "2016-06-24" @default.
• W2079684794 creator A5015218553 @default.
• W2079684794 creator A5020998049 @default.
• W2079684794 creator A5033696911 @default.
• W2079684794 creator A5075745024 @default.
• W2079684794 date "2015-07-01" @default.
• W2079684794 modified "2023-10-15" @default.
• W2079684794 title "Exploring conditional rewriting logic computations" @default.
• W2079684794 cites W1976195354 @default.
• W2079684794 cites W1982601629 @default.
• W2079684794 cites W1986851876 @default.
• W2079684794 cites W2006030420 @default.
• W2079684794 cites W2007809070 @default.
• W2079684794 cites W2029227380 @default.
• W2079684794 cites W2048748607 @default.
• W2079684794 cites W2074715013 @default.
• W2079684794 cites W2091567516 @default.
• W2079684794 cites W2104073699 @default.
• W2079684794 cites W2109598262 @default.
• W2079684794 cites W2122049982 @default.
• W2079684794 cites W2153598190 @default.
• W2079684794 cites W2912858146 @default.
• W2079684794 cites W4244155562 @default.
• W2079684794 doi "https://doi.org/10.1016/j.jsc.2014.09.028" @default.
• W2079684794 hasPublicationYear "2015" @default.
• W2079684794 type Work @default.
• W2079684794 sameAs 2079684794 @default.
• W2079684794 citedByCount "12" @default.
• W2079684794 countsByYear W20796847942015 @default.
• W2079684794 countsByYear W20796847942016 @default.
• W2079684794 countsByYear W20796847942018 @default.
• W2079684794 countsByYear W20796847942019 @default.
• W2079684794 countsByYear W20796847942021 @default.
• W2079684794 crossrefType "journal-article" @default.
• W2079684794 hasAuthorship W2079684794A5015218553 @default.
• W2079684794 hasAuthorship W2079684794A5020998049 @default.
• W2079684794 hasAuthorship W2079684794A5033696911 @default.
• W2079684794 hasAuthorship W2079684794A5075745024 @default.
• W2079684794 hasBestOaLocation W20796847941 @default.
• W2079684794 hasConcept C113174947 @default.
• W2079684794 hasConcept C11413529 @default.
• W2079684794 hasConcept C134306372 @default.
• W2079684794 hasConcept C138673069 @default.
• W2079684794 hasConcept C138885662 @default.
• W2079684794 hasConcept C144024400 @default.
• W2079684794 hasConcept C154690210 @default.
• W2079684794 hasConcept C165464430 @default.
• W2079684794 hasConcept C168065819 @default.
• W2079684794 hasConcept C176181172 @default.
• W2079684794 hasConcept C199360897 @default.
• W2079684794 hasConcept C2775940519 @default.
• W2079684794 hasConcept C2778012447 @default.
• W2079684794 hasConcept C33923547 @default.
• W2079684794 hasConcept C36289849 @default.
• W2079684794 hasConcept C41008148 @default.
• W2079684794 hasConcept C41895202 @default.
• W2079684794 hasConcept C45374587 @default.
• W2079684794 hasConcept C75291252 @default.
• W2079684794 hasConcept C80444323 @default.
• W2079684794 hasConceptScore W2079684794C113174947 @default.
• W2079684794 hasConceptScore W2079684794C11413529 @default.
• W2079684794 hasConceptScore W2079684794C134306372 @default.
• W2079684794 hasConceptScore W2079684794C138673069 @default.
• W2079684794 hasConceptScore W2079684794C138885662 @default.
• W2079684794 hasConceptScore W2079684794C144024400 @default.
• W2079684794 hasConceptScore W2079684794C154690210 @default.
• W2079684794 hasConceptScore W2079684794C165464430 @default.
• W2079684794 hasConceptScore W2079684794C168065819 @default.
• W2079684794 hasConceptScore W2079684794C176181172 @default.
• W2079684794 hasConceptScore W2079684794C199360897 @default.
• W2079684794 hasConceptScore W2079684794C2775940519 @default.
• W2079684794 hasConceptScore W2079684794C2778012447 @default.
• W2079684794 hasConceptScore W2079684794C33923547 @default.
• W2079684794 hasConceptScore W2079684794C36289849 @default.
• W2079684794 hasConceptScore W2079684794C41008148 @default.
• W2079684794 hasConceptScore W2079684794C41895202 @default.
• W2079684794 hasConceptScore W2079684794C45374587 @default.
• W2079684794 hasConceptScore W2079684794C75291252 @default.
• W2079684794 hasConceptScore W2079684794C80444323 @default.
• W2079684794 hasFunder F4320321864 @default.
• W2079684794 hasLocation W20796847941 @default.
• W2079684794 hasLocation W20796847942 @default.
• W2079684794 hasLocation W20796847943 @default.
• W2079684794 hasOpenAccess W2079684794 @default.
• W2079684794 hasPrimaryLocation W20796847941 @default.
• W2079684794 hasRelatedWork W1483845062 @default.
• W2079684794 hasRelatedWork W1504419871 @default.
• W2079684794 hasRelatedWork W1601811574 @default.
• W2079684794 hasRelatedWork W1870853723 @default.
• W2079684794 hasRelatedWork W2007723605 @default.
• W2079684794 hasRelatedWork W2041807992 @default.
• W2079684794 hasRelatedWork W2079684794 @default.
• W2079684794 hasRelatedWork W2290768160 @default.
• W2079684794 hasRelatedWork W2609291677 @default.
• W2079684794 hasRelatedWork W95377021 @default.
• W2079684794 hasVolume "69" @default.
• W2079684794 isParatext "false" @default.

• next