Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995346861> ?p ?o ?g. }
- W1995346861 endingPage "85" @default.
- W1995346861 startingPage "61" @default.
- W1995346861 abstract "Languages that integrate functional and logic programming styles with a complete operational semantics are based on narrowing. In order to avoid useless computations, lazy narrowing strategies have been proposed in the past. This paper presents an improvement of lazy narrowing by incorporating deterministic simplification steps into lazy narrowing derivations. These simplification steps reduce the search space so that in some cases infinite search spaces are reduced to finite ones. We consider two classes of programs where this strategy can be applied. Firstly, we show soundness and completeness of our strategy for functional logic programs based on ground confluent and terminating rewrite systems. Then, we show similar results for constructor-based weakly orthogonal (not necessarily terminating) rewrite systems. Finally, we demonstrate the improved operational behavior by means of several examples. Since most functional logic languages are based on programs belonging to one of these classes, our result is a significant step to improve the operational semantics of existing functional logic languages." @default.
- W1995346861 created "2016-06-24" @default.
- W1995346861 creator A5024421847 @default.
- W1995346861 date "1997-07-01" @default.
- W1995346861 modified "2023-09-23" @default.
- W1995346861 title "Lazy narrowing with simplification" @default.
- W1995346861 cites W100098737 @default.
- W1995346861 cites W1489837164 @default.
- W1995346861 cites W1508196309 @default.
- W1995346861 cites W1512750313 @default.
- W1995346861 cites W1513315908 @default.
- W1995346861 cites W1520427615 @default.
- W1995346861 cites W1521225797 @default.
- W1995346861 cites W1529605599 @default.
- W1995346861 cites W1538694434 @default.
- W1995346861 cites W1542522921 @default.
- W1995346861 cites W155273981 @default.
- W1995346861 cites W1564305639 @default.
- W1995346861 cites W1567856068 @default.
- W1995346861 cites W1572831335 @default.
- W1995346861 cites W1588352680 @default.
- W1995346861 cites W1593876394 @default.
- W1995346861 cites W1599996235 @default.
- W1995346861 cites W1603716093 @default.
- W1995346861 cites W1607723267 @default.
- W1995346861 cites W1608162599 @default.
- W1995346861 cites W1866859260 @default.
- W1995346861 cites W1965414594 @default.
- W1995346861 cites W1977211509 @default.
- W1995346861 cites W1983814902 @default.
- W1995346861 cites W2014238166 @default.
- W1995346861 cites W2023578426 @default.
- W1995346861 cites W2042924775 @default.
- W1995346861 cites W2048748607 @default.
- W1995346861 cites W2053719172 @default.
- W1995346861 cites W2056637458 @default.
- W1995346861 cites W2059799630 @default.
- W1995346861 cites W2065794924 @default.
- W1995346861 cites W2078852650 @default.
- W1995346861 cites W2087389137 @default.
- W1995346861 cites W2106105719 @default.
- W1995346861 cites W2113722134 @default.
- W1995346861 cites W2121757274 @default.
- W1995346861 cites W2132750992 @default.
- W1995346861 cites W2141578886 @default.
- W1995346861 cites W2144352681 @default.
- W1995346861 cites W2147201307 @default.
- W1995346861 cites W2912818154 @default.
- W1995346861 cites W2913078623 @default.
- W1995346861 cites W2913944636 @default.
- W1995346861 cites W2913954624 @default.
- W1995346861 cites W2914832961 @default.
- W1995346861 doi "https://doi.org/10.1016/s0096-0551(97)00010-6" @default.
- W1995346861 hasPublicationYear "1997" @default.
- W1995346861 type Work @default.
- W1995346861 sameAs 1995346861 @default.
- W1995346861 citedByCount "13" @default.
- W1995346861 countsByYear W19953468612012 @default.
- W1995346861 crossrefType "journal-article" @default.
- W1995346861 hasAuthorship W1995346861A5024421847 @default.
- W1995346861 hasConcept C128099668 @default.
- W1995346861 hasConcept C128838566 @default.
- W1995346861 hasConcept C134306372 @default.
- W1995346861 hasConcept C156325763 @default.
- W1995346861 hasConcept C17231256 @default.
- W1995346861 hasConcept C184337299 @default.
- W1995346861 hasConcept C199360897 @default.
- W1995346861 hasConcept C33923547 @default.
- W1995346861 hasConcept C39920170 @default.
- W1995346861 hasConcept C41008148 @default.
- W1995346861 hasConcept C42383842 @default.
- W1995346861 hasConcept C80444323 @default.
- W1995346861 hasConceptScore W1995346861C128099668 @default.
- W1995346861 hasConceptScore W1995346861C128838566 @default.
- W1995346861 hasConceptScore W1995346861C134306372 @default.
- W1995346861 hasConceptScore W1995346861C156325763 @default.
- W1995346861 hasConceptScore W1995346861C17231256 @default.
- W1995346861 hasConceptScore W1995346861C184337299 @default.
- W1995346861 hasConceptScore W1995346861C199360897 @default.
- W1995346861 hasConceptScore W1995346861C33923547 @default.
- W1995346861 hasConceptScore W1995346861C39920170 @default.
- W1995346861 hasConceptScore W1995346861C41008148 @default.
- W1995346861 hasConceptScore W1995346861C42383842 @default.
- W1995346861 hasConceptScore W1995346861C80444323 @default.
- W1995346861 hasIssue "2-4" @default.
- W1995346861 hasLocation W19953468611 @default.
- W1995346861 hasOpenAccess W1995346861 @default.
- W1995346861 hasPrimaryLocation W19953468611 @default.
- W1995346861 hasRelatedWork W135120204 @default.
- W1995346861 hasRelatedWork W1502761127 @default.
- W1995346861 hasRelatedWork W1976684752 @default.
- W1995346861 hasRelatedWork W1995346861 @default.
- W1995346861 hasRelatedWork W2044629048 @default.
- W1995346861 hasRelatedWork W2060914009 @default.
- W1995346861 hasRelatedWork W2160013706 @default.
- W1995346861 hasRelatedWork W2294370068 @default.
- W1995346861 hasRelatedWork W4205743188 @default.
- W1995346861 hasRelatedWork W4250682738 @default.