Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060065675> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2060065675 abstract "Simple termination is the (often indirect) basis of most existing automatic techniques for proving termination of rule-based programs (e.g., Knuth-Bendix, polynomial, or recursive path orderings, but also DP-simple termination, etc.). An interesting framework for such programs is context-sensitive rewriting (CSR) that provides a bridge between the abstract world of general rewriting and the (more) applied setting of declarative specification and programming languages (e.g., OBJ*, CafeOBJ, ELAN, and Maude). In these languages, certain replacement restrictions can be specified in programs by the so-called strategy annotations. They may significantly improve the computational properties of programs, especially regarding their termination behaviour. Context-sensitive rewriting techniques (in particular, the methods for proving termination of CSR) have been proved useful for analyzing the properties of these programs. This entails the need to provide implementable methods for proving termination of CSR. Simplification orderings (corresponding to the notion of simple termination) which are well-known in term rewriting (and have nice properties) are, then, natural candidates for such an attempt. In this paper we introduce and investigate a corresponding notion of simple termination of CSR. We prove that our notion actually provides a unifying framework for proving termination of CSR by using standard simplification orderings via the existing (transformational) methods, and also covers CSRPO, a very recent proposal that extends the recursive path ordering (RPO) (a well-known simplification ordering) to context-sensitive terms. We also introduce polynomial orderings for dealing with (simple) termination of CSR. Finally, we also give criteria for the modularity of simple termination, for the case of disjoint unions as well as for constructor-sharing rewrite systems." @default.
- W2060065675 created "2016-06-24" @default.
- W2060065675 creator A5012146310 @default.
- W2060065675 creator A5029936422 @default.
- W2060065675 date "2002-10-05" @default.
- W2060065675 modified "2023-09-27" @default.
- W2060065675 title "Simple termination of context-sensitive rewriting" @default.
- W2060065675 cites W1488213278 @default.
- W2060065675 cites W1530670565 @default.
- W2060065675 cites W1789859907 @default.
- W2060065675 cites W1991934002 @default.
- W2060065675 cites W1999927144 @default.
- W2060065675 cites W2004551119 @default.
- W2060065675 cites W2024726864 @default.
- W2060065675 cites W2031948276 @default.
- W2060065675 cites W203247935 @default.
- W2060065675 cites W2032825481 @default.
- W2060065675 cites W2077592849 @default.
- W2060065675 cites W2077956228 @default.
- W2060065675 cites W2086747974 @default.
- W2060065675 cites W2088747311 @default.
- W2060065675 cites W2099166695 @default.
- W2060065675 cites W2108969240 @default.
- W2060065675 cites W2114745030 @default.
- W2060065675 cites W2121757274 @default.
- W2060065675 cites W3021880308 @default.
- W2060065675 cites W3080753854 @default.
- W2060065675 doi "https://doi.org/10.1145/570186.570189" @default.
- W2060065675 hasPublicationYear "2002" @default.
- W2060065675 type Work @default.
- W2060065675 sameAs 2060065675 @default.
- W2060065675 citedByCount "17" @default.
- W2060065675 countsByYear W20600656752015 @default.
- W2060065675 countsByYear W20600656752020 @default.
- W2060065675 countsByYear W20600656752021 @default.
- W2060065675 crossrefType "proceedings-article" @default.
- W2060065675 hasAuthorship W2060065675A5012146310 @default.
- W2060065675 hasAuthorship W2060065675A5029936422 @default.
- W2060065675 hasConcept C111472728 @default.
- W2060065675 hasConcept C134306372 @default.
- W2060065675 hasConcept C138885662 @default.
- W2060065675 hasConcept C151730666 @default.
- W2060065675 hasConcept C154690210 @default.
- W2060065675 hasConcept C199360897 @default.
- W2060065675 hasConcept C2777735758 @default.
- W2060065675 hasConcept C2779343474 @default.
- W2060065675 hasConcept C2780586882 @default.
- W2060065675 hasConcept C33923547 @default.
- W2060065675 hasConcept C41008148 @default.
- W2060065675 hasConcept C77906462 @default.
- W2060065675 hasConcept C80444323 @default.
- W2060065675 hasConcept C86803240 @default.
- W2060065675 hasConcept C90119067 @default.
- W2060065675 hasConceptScore W2060065675C111472728 @default.
- W2060065675 hasConceptScore W2060065675C134306372 @default.
- W2060065675 hasConceptScore W2060065675C138885662 @default.
- W2060065675 hasConceptScore W2060065675C151730666 @default.
- W2060065675 hasConceptScore W2060065675C154690210 @default.
- W2060065675 hasConceptScore W2060065675C199360897 @default.
- W2060065675 hasConceptScore W2060065675C2777735758 @default.
- W2060065675 hasConceptScore W2060065675C2779343474 @default.
- W2060065675 hasConceptScore W2060065675C2780586882 @default.
- W2060065675 hasConceptScore W2060065675C33923547 @default.
- W2060065675 hasConceptScore W2060065675C41008148 @default.
- W2060065675 hasConceptScore W2060065675C77906462 @default.
- W2060065675 hasConceptScore W2060065675C80444323 @default.
- W2060065675 hasConceptScore W2060065675C86803240 @default.
- W2060065675 hasConceptScore W2060065675C90119067 @default.
- W2060065675 hasLocation W20600656751 @default.
- W2060065675 hasOpenAccess W2060065675 @default.
- W2060065675 hasPrimaryLocation W20600656751 @default.
- W2060065675 hasRelatedWork W1482238002 @default.
- W2060065675 hasRelatedWork W1567063112 @default.
- W2060065675 hasRelatedWork W1608934502 @default.
- W2060065675 hasRelatedWork W1976985409 @default.
- W2060065675 hasRelatedWork W1980968022 @default.
- W2060065675 hasRelatedWork W1991934002 @default.
- W2060065675 hasRelatedWork W1992913870 @default.
- W2060065675 hasRelatedWork W2571112258 @default.
- W2060065675 hasRelatedWork W4240242535 @default.
- W2060065675 hasRelatedWork W1744983872 @default.
- W2060065675 isParatext "false" @default.
- W2060065675 isRetracted "false" @default.
- W2060065675 magId "2060065675" @default.
- W2060065675 workType "article" @default.