Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124521033> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2124521033 abstract "Rewriting logic is a logic of change, where rewrites correspond to transitions between states. One of the main characteristics of these transitions is that they can be nondeterministic, that is, given an initial state, there is a set of possible reachable states. Thus, an additional problem when debugging rewrite systems is that, although all the terms obtained could be correct, it is possible that not all the desired terms are computed, i.e., there are missing answers. We propose a calculus that allows to infer, given an initial term, the complete set of reachable terms. We use an abbreviation of the proof trees computed with this calculus to build appropriate debugging trees for missing answers, whose adequacy for debugging is proved. We apply then this method to Maude specifications, a high-performance system based on rewriting logic, adding many options to build and navigate the tree. Several examples are shown to illustrate the use of the debugger and all of its features. Since Maude supports the reflective features in its underlying logic, it includes a predefined META-LEVEL module providing access to metalevel concepts such as specifications or computations as usual data. This allows us to generate and navigate the debugging tree using operations in Maude itself. Even the user interface of the declarative debugger for Maude can be specified in Maude itself. We also describe in detail this metalevel implementation of our tool." @default.
- W2124521033 created "2016-06-24" @default.
- W2124521033 creator A5032430181 @default.
- W2124521033 creator A5045001446 @default.
- W2124521033 creator A5067351219 @default.
- W2124521033 date "2009-01-01" @default.
- W2124521033 modified "2023-09-27" @default.
- W2124521033 title "Declarative Debugging of Missing Answers in Rewriting Logic" @default.
- W2124521033 cites W1490930296 @default.
- W2124521033 cites W1503973138 @default.
- W2124521033 cites W1514468887 @default.
- W2124521033 cites W1527457931 @default.
- W2124521033 cites W1530666819 @default.
- W2124521033 cites W1591045752 @default.
- W2124521033 cites W1606209748 @default.
- W2124521033 cites W1678943029 @default.
- W2124521033 cites W1940221711 @default.
- W2124521033 cites W1970810328 @default.
- W2124521033 cites W1972185528 @default.
- W2124521033 cites W1976195354 @default.
- W2124521033 cites W1991598919 @default.
- W2124521033 cites W2027026606 @default.
- W2124521033 cites W2029227380 @default.
- W2124521033 cites W2030284627 @default.
- W2124521033 cites W2047406870 @default.
- W2124521033 cites W2053342841 @default.
- W2124521033 cites W2103491321 @default.
- W2124521033 cites W2115737686 @default.
- W2124521033 cites W2131954800 @default.
- W2124521033 cites W2136096258 @default.
- W2124521033 cites W2143854464 @default.
- W2124521033 cites W2169508890 @default.
- W2124521033 cites W2912818154 @default.
- W2124521033 cites W2463292594 @default.
- W2124521033 hasPublicationYear "2009" @default.
- W2124521033 type Work @default.
- W2124521033 sameAs 2124521033 @default.
- W2124521033 citedByCount "1" @default.
- W2124521033 crossrefType "journal-article" @default.
- W2124521033 hasAuthorship W2124521033A5032430181 @default.
- W2124521033 hasAuthorship W2124521033A5045001446 @default.
- W2124521033 hasAuthorship W2124521033A5067351219 @default.
- W2124521033 hasConcept C113174947 @default.
- W2124521033 hasConcept C11413529 @default.
- W2124521033 hasConcept C134306372 @default.
- W2124521033 hasConcept C136388014 @default.
- W2124521033 hasConcept C154690210 @default.
- W2124521033 hasConcept C168065819 @default.
- W2124521033 hasConcept C176181172 @default.
- W2124521033 hasConcept C177264268 @default.
- W2124521033 hasConcept C199360897 @default.
- W2124521033 hasConcept C2778485113 @default.
- W2124521033 hasConcept C33923547 @default.
- W2124521033 hasConcept C41008148 @default.
- W2124521033 hasConcept C80444323 @default.
- W2124521033 hasConceptScore W2124521033C113174947 @default.
- W2124521033 hasConceptScore W2124521033C11413529 @default.
- W2124521033 hasConceptScore W2124521033C134306372 @default.
- W2124521033 hasConceptScore W2124521033C136388014 @default.
- W2124521033 hasConceptScore W2124521033C154690210 @default.
- W2124521033 hasConceptScore W2124521033C168065819 @default.
- W2124521033 hasConceptScore W2124521033C176181172 @default.
- W2124521033 hasConceptScore W2124521033C177264268 @default.
- W2124521033 hasConceptScore W2124521033C199360897 @default.
- W2124521033 hasConceptScore W2124521033C2778485113 @default.
- W2124521033 hasConceptScore W2124521033C33923547 @default.
- W2124521033 hasConceptScore W2124521033C41008148 @default.
- W2124521033 hasConceptScore W2124521033C80444323 @default.
- W2124521033 hasLocation W21245210331 @default.
- W2124521033 hasOpenAccess W2124521033 @default.
- W2124521033 hasPrimaryLocation W21245210331 @default.
- W2124521033 hasRelatedWork W1493627728 @default.
- W2124521033 hasRelatedWork W1542304993 @default.
- W2124521033 hasRelatedWork W1594075998 @default.
- W2124521033 hasRelatedWork W1954776415 @default.
- W2124521033 hasRelatedWork W2030360570 @default.
- W2124521033 hasRelatedWork W2039139011 @default.
- W2124521033 hasRelatedWork W2068575019 @default.
- W2124521033 hasRelatedWork W2138481610 @default.
- W2124521033 hasRelatedWork W2141550942 @default.
- W2124521033 hasRelatedWork W2146110859 @default.
- W2124521033 hasRelatedWork W2221309524 @default.
- W2124521033 hasRelatedWork W2404119306 @default.
- W2124521033 hasRelatedWork W2612586197 @default.
- W2124521033 hasRelatedWork W2613539780 @default.
- W2124521033 hasRelatedWork W2623210757 @default.
- W2124521033 hasRelatedWork W2912858146 @default.
- W2124521033 hasRelatedWork W2954792172 @default.
- W2124521033 hasRelatedWork W3096950624 @default.
- W2124521033 hasRelatedWork W3115032872 @default.
- W2124521033 hasRelatedWork W979826707 @default.
- W2124521033 isParatext "false" @default.
- W2124521033 isRetracted "false" @default.
- W2124521033 magId "2124521033" @default.
- W2124521033 workType "article" @default.