Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014238166> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2014238166 endingPage "77" @default.
- W2014238166 startingPage "57" @default.
- W2014238166 abstract "In this paper we discuss implementation issues of rite , a system that performs lazy narrowing and eager rewriting with respect to a set of directed equations. We describe a novel technique for representing the multiple solutions that arise from the enumerative nondeterminism of narrowing steps. A technique for efficiently identifying redexes , based on the preprocessing of equations for partial matches/unifiers, is presented. Rewriting and narrowing are effected through demons which annotate subterms with continuations obtained from preprocessing. We show how these methods can be extended to deal with conditional equations viewed as logic programs. An experimental implementation is discussed." @default.
- W2014238166 created "2016-06-24" @default.
- W2014238166 creator A5048840198 @default.
- W2014238166 creator A5089070856 @default.
- W2014238166 date "1989-01-01" @default.
- W2014238166 modified "2023-10-14" @default.
- W2014238166 title "An implementation of narrowing" @default.
- W2014238166 cites W100098737 @default.
- W2014238166 cites W1481059806 @default.
- W2014238166 cites W1485909121 @default.
- W2014238166 cites W1539274846 @default.
- W2014238166 cites W155273981 @default.
- W2014238166 cites W1607552714 @default.
- W2014238166 cites W165205177 @default.
- W2014238166 cites W171707325 @default.
- W2014238166 cites W174743476 @default.
- W2014238166 cites W1968386045 @default.
- W2014238166 cites W1994009914 @default.
- W2014238166 cites W2019751493 @default.
- W2014238166 cites W2034034435 @default.
- W2014238166 cites W2037086772 @default.
- W2014238166 cites W2048748607 @default.
- W2014238166 cites W2077592849 @default.
- W2014238166 cites W2081010478 @default.
- W2014238166 cites W2091210577 @default.
- W2014238166 cites W2113722134 @default.
- W2014238166 cites W2515665553 @default.
- W2014238166 cites W2913078623 @default.
- W2014238166 cites W2914832961 @default.
- W2014238166 cites W33901518 @default.
- W2014238166 cites W92963751 @default.
- W2014238166 doi "https://doi.org/10.1016/0743-1066(89)90030-7" @default.
- W2014238166 hasPublicationYear "1989" @default.
- W2014238166 type Work @default.
- W2014238166 sameAs 2014238166 @default.
- W2014238166 citedByCount "21" @default.
- W2014238166 crossrefType "journal-article" @default.
- W2014238166 hasAuthorship W2014238166A5048840198 @default.
- W2014238166 hasAuthorship W2014238166A5089070856 @default.
- W2014238166 hasConcept C11413529 @default.
- W2014238166 hasConcept C154690210 @default.
- W2014238166 hasConcept C177264268 @default.
- W2014238166 hasConcept C199360897 @default.
- W2014238166 hasConcept C34736171 @default.
- W2014238166 hasConcept C41008148 @default.
- W2014238166 hasConcept C80444323 @default.
- W2014238166 hasConceptScore W2014238166C11413529 @default.
- W2014238166 hasConceptScore W2014238166C154690210 @default.
- W2014238166 hasConceptScore W2014238166C177264268 @default.
- W2014238166 hasConceptScore W2014238166C199360897 @default.
- W2014238166 hasConceptScore W2014238166C34736171 @default.
- W2014238166 hasConceptScore W2014238166C41008148 @default.
- W2014238166 hasConceptScore W2014238166C80444323 @default.
- W2014238166 hasIssue "1-2" @default.
- W2014238166 hasLocation W20142381661 @default.
- W2014238166 hasOpenAccess W2014238166 @default.
- W2014238166 hasPrimaryLocation W20142381661 @default.
- W2014238166 hasRelatedWork W2013111119 @default.
- W2014238166 hasRelatedWork W2018297885 @default.
- W2014238166 hasRelatedWork W2047292526 @default.
- W2014238166 hasRelatedWork W2099080307 @default.
- W2014238166 hasRelatedWork W2108174561 @default.
- W2014238166 hasRelatedWork W2137231339 @default.
- W2014238166 hasRelatedWork W2475423329 @default.
- W2014238166 hasRelatedWork W2889453578 @default.
- W2014238166 hasRelatedWork W2951579968 @default.
- W2014238166 hasRelatedWork W4251805752 @default.
- W2014238166 hasVolume "6" @default.
- W2014238166 isParatext "false" @default.
- W2014238166 isRetracted "false" @default.
- W2014238166 magId "2014238166" @default.
- W2014238166 workType "article" @default.