Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600573157> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1600573157 endingPage "133" @default.
- W1600573157 startingPage "119" @default.
- W1600573157 abstract "Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. Recently we analyzed a program transformation, called factoring transformation [4], that may save both execution time and memory occupation in a non-deterministic computation. In this paper we study the formal properties of our transformation, proving its correctness for constructor-based left linear rewriting systems, under some well established conditions. We also introduce some proof techniques that help us to reason with this kind of rewriting systems.KeywordsLogic ProgramLogic ProgrammingMinimal ElementOriginal ProgramProgram TransformationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1600573157 created "2016-06-24" @default.
- W1600573157 creator A5028925247 @default.
- W1600573157 date "2002-01-01" @default.
- W1600573157 modified "2023-09-23" @default.
- W1600573157 title "On the Correctness of the Factoring Transformation" @default.
- W1600573157 cites W1513973968 @default.
- W1600573157 cites W1521843416 @default.
- W1600573157 cites W1522154830 @default.
- W1600573157 cites W1559076591 @default.
- W1600573157 cites W1603305149 @default.
- W1600573157 cites W1992085465 @default.
- W1600573157 cites W2023299380 @default.
- W1600573157 cites W2059799630 @default.
- W1600573157 cites W2063521547 @default.
- W1600573157 cites W2104980999 @default.
- W1600573157 cites W2115866888 @default.
- W1600573157 cites W2168144301 @default.
- W1600573157 cites W4230919050 @default.
- W1600573157 doi "https://doi.org/10.1007/3-540-45788-7_7" @default.
- W1600573157 hasPublicationYear "2002" @default.
- W1600573157 type Work @default.
- W1600573157 sameAs 1600573157 @default.
- W1600573157 citedByCount "1" @default.
- W1600573157 countsByYear W16005731572014 @default.
- W1600573157 crossrefType "book-chapter" @default.
- W1600573157 hasAuthorship W1600573157A5028925247 @default.
- W1600573157 hasBestOaLocation W16005731572 @default.
- W1600573157 hasConcept C10138342 @default.
- W1600573157 hasConcept C104317684 @default.
- W1600573157 hasConcept C154690210 @default.
- W1600573157 hasConcept C162324750 @default.
- W1600573157 hasConcept C177225278 @default.
- W1600573157 hasConcept C185592680 @default.
- W1600573157 hasConcept C199360897 @default.
- W1600573157 hasConcept C204241405 @default.
- W1600573157 hasConcept C206880738 @default.
- W1600573157 hasConcept C2778361913 @default.
- W1600573157 hasConcept C41008148 @default.
- W1600573157 hasConcept C45374587 @default.
- W1600573157 hasConcept C55439883 @default.
- W1600573157 hasConcept C55493867 @default.
- W1600573157 hasConcept C80444323 @default.
- W1600573157 hasConceptScore W1600573157C10138342 @default.
- W1600573157 hasConceptScore W1600573157C104317684 @default.
- W1600573157 hasConceptScore W1600573157C154690210 @default.
- W1600573157 hasConceptScore W1600573157C162324750 @default.
- W1600573157 hasConceptScore W1600573157C177225278 @default.
- W1600573157 hasConceptScore W1600573157C185592680 @default.
- W1600573157 hasConceptScore W1600573157C199360897 @default.
- W1600573157 hasConceptScore W1600573157C204241405 @default.
- W1600573157 hasConceptScore W1600573157C206880738 @default.
- W1600573157 hasConceptScore W1600573157C2778361913 @default.
- W1600573157 hasConceptScore W1600573157C41008148 @default.
- W1600573157 hasConceptScore W1600573157C45374587 @default.
- W1600573157 hasConceptScore W1600573157C55439883 @default.
- W1600573157 hasConceptScore W1600573157C55493867 @default.
- W1600573157 hasConceptScore W1600573157C80444323 @default.
- W1600573157 hasLocation W16005731571 @default.
- W1600573157 hasLocation W16005731572 @default.
- W1600573157 hasOpenAccess W1600573157 @default.
- W1600573157 hasPrimaryLocation W16005731571 @default.
- W1600573157 hasRelatedWork W1499474569 @default.
- W1600573157 hasRelatedWork W1600415698 @default.
- W1600573157 hasRelatedWork W1636056063 @default.
- W1600573157 hasRelatedWork W1842527047 @default.
- W1600573157 hasRelatedWork W1944291887 @default.
- W1600573157 hasRelatedWork W1965566334 @default.
- W1600573157 hasRelatedWork W2009332552 @default.
- W1600573157 hasRelatedWork W2021196646 @default.
- W1600573157 hasRelatedWork W2036395016 @default.
- W1600573157 hasRelatedWork W2039210279 @default.
- W1600573157 hasRelatedWork W2048265179 @default.
- W1600573157 hasRelatedWork W2062968803 @default.
- W1600573157 hasRelatedWork W2120620984 @default.
- W1600573157 hasRelatedWork W2135853107 @default.
- W1600573157 hasRelatedWork W2169471329 @default.
- W1600573157 hasRelatedWork W2170802934 @default.
- W1600573157 hasRelatedWork W2342011962 @default.
- W1600573157 hasRelatedWork W2952159588 @default.
- W1600573157 hasRelatedWork W2963114687 @default.
- W1600573157 hasRelatedWork W73703791 @default.
- W1600573157 isParatext "false" @default.
- W1600573157 isRetracted "false" @default.
- W1600573157 magId "1600573157" @default.
- W1600573157 workType "book-chapter" @default.