Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554593997> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1554593997 endingPage "167" @default.
- W1554593997 startingPage "152" @default.
- W1554593997 abstract "Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are often implemented on graph-like data structures to exploit sharing of common subexpressions. In this paper, we study the completeness of narrowing in graph-based implementations. We show that the well-known condition for the completeness of tree-based narrowing, viz. a normalizing and confluent term rewrite relation, does not suffice. Completeness is restored, however, if the implementing graph rewrite relation is normalizing and confluent. We address basic narrowing and show its completeness for innermost normalizing and confluent graph rewriting. Then we consider the combination of basic narrowing with two strategies for controlling sharing, obtaining minimally collapsing and maximally collapsing basic narrowing. The former is shown to be complete in the presence of innermost normalization and confluence, the latter in the presence of termination and confluence. Maximally collapsing narrowing sometimes speeds up narrowing derivations drastically. Our results on minimally collapsing basic narrowing correct analogous claims by Krishna Rao [Proc. JICSLP’96] which are based on an incomplete version of term graph narrowing." @default.
- W1554593997 created "2016-06-24" @default.
- W1554593997 creator A5043880052 @default.
- W1554593997 creator A5066151118 @default.
- W1554593997 date "1999-01-01" @default.
- W1554593997 modified "2023-09-23" @default.
- W1554593997 title "Complete Strategies for Term Graph Narrowing" @default.
- W1554593997 cites W1481154196 @default.
- W1554593997 cites W1489181544 @default.
- W1554593997 cites W1503351662 @default.
- W1554593997 cites W1513315908 @default.
- W1554593997 cites W1515738989 @default.
- W1554593997 cites W1658882766 @default.
- W1554593997 cites W1995346861 @default.
- W1554593997 cites W2031825596 @default.
- W1554593997 cites W2059799630 @default.
- W1554593997 cites W2087389137 @default.
- W1554593997 cites W2138364864 @default.
- W1554593997 cites W3022794709 @default.
- W1554593997 cites W4230919050 @default.
- W1554593997 cites W4251084952 @default.
- W1554593997 cites W78174217 @default.
- W1554593997 doi "https://doi.org/10.1007/3-540-48483-3_11" @default.
- W1554593997 hasPublicationYear "1999" @default.
- W1554593997 type Work @default.
- W1554593997 sameAs 1554593997 @default.
- W1554593997 citedByCount "4" @default.
- W1554593997 countsByYear W15545939972023 @default.
- W1554593997 crossrefType "book-chapter" @default.
- W1554593997 hasAuthorship W1554593997A5043880052 @default.
- W1554593997 hasAuthorship W1554593997A5066151118 @default.
- W1554593997 hasConcept C11413529 @default.
- W1554593997 hasConcept C121332964 @default.
- W1554593997 hasConcept C132525143 @default.
- W1554593997 hasConcept C134306372 @default.
- W1554593997 hasConcept C136886441 @default.
- W1554593997 hasConcept C144024400 @default.
- W1554593997 hasConcept C154690210 @default.
- W1554593997 hasConcept C159333733 @default.
- W1554593997 hasConcept C165696696 @default.
- W1554593997 hasConcept C17231256 @default.
- W1554593997 hasConcept C19165224 @default.
- W1554593997 hasConcept C199360897 @default.
- W1554593997 hasConcept C33923547 @default.
- W1554593997 hasConcept C38652104 @default.
- W1554593997 hasConcept C41008148 @default.
- W1554593997 hasConcept C558772884 @default.
- W1554593997 hasConcept C61797465 @default.
- W1554593997 hasConcept C62520636 @default.
- W1554593997 hasConcept C77906462 @default.
- W1554593997 hasConcept C80444323 @default.
- W1554593997 hasConcept C96146094 @default.
- W1554593997 hasConceptScore W1554593997C11413529 @default.
- W1554593997 hasConceptScore W1554593997C121332964 @default.
- W1554593997 hasConceptScore W1554593997C132525143 @default.
- W1554593997 hasConceptScore W1554593997C134306372 @default.
- W1554593997 hasConceptScore W1554593997C136886441 @default.
- W1554593997 hasConceptScore W1554593997C144024400 @default.
- W1554593997 hasConceptScore W1554593997C154690210 @default.
- W1554593997 hasConceptScore W1554593997C159333733 @default.
- W1554593997 hasConceptScore W1554593997C165696696 @default.
- W1554593997 hasConceptScore W1554593997C17231256 @default.
- W1554593997 hasConceptScore W1554593997C19165224 @default.
- W1554593997 hasConceptScore W1554593997C199360897 @default.
- W1554593997 hasConceptScore W1554593997C33923547 @default.
- W1554593997 hasConceptScore W1554593997C38652104 @default.
- W1554593997 hasConceptScore W1554593997C41008148 @default.
- W1554593997 hasConceptScore W1554593997C558772884 @default.
- W1554593997 hasConceptScore W1554593997C61797465 @default.
- W1554593997 hasConceptScore W1554593997C62520636 @default.
- W1554593997 hasConceptScore W1554593997C77906462 @default.
- W1554593997 hasConceptScore W1554593997C80444323 @default.
- W1554593997 hasConceptScore W1554593997C96146094 @default.
- W1554593997 hasLocation W15545939971 @default.
- W1554593997 hasOpenAccess W1554593997 @default.
- W1554593997 hasPrimaryLocation W15545939971 @default.
- W1554593997 hasRelatedWork W1489181544 @default.
- W1554593997 hasRelatedWork W1554593997 @default.
- W1554593997 hasRelatedWork W1979913153 @default.
- W1554593997 hasRelatedWork W1986348291 @default.
- W1554593997 hasRelatedWork W1991552240 @default.
- W1554593997 hasRelatedWork W2064885482 @default.
- W1554593997 hasRelatedWork W2078372985 @default.
- W1554593997 hasRelatedWork W2092386169 @default.
- W1554593997 hasRelatedWork W2290580007 @default.
- W1554593997 hasRelatedWork W2640266980 @default.
- W1554593997 isParatext "false" @default.
- W1554593997 isRetracted "false" @default.
- W1554593997 magId "1554593997" @default.
- W1554593997 workType "book-chapter" @default.