Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581336022> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1581336022 endingPage "325" @default.
- W1581336022 startingPage "306" @default.
- W1581336022 abstract "We consider the problem of inventing new predicates when developing logic programs by transformation. Those predicates, often called eureka predicates, improve program efficiency by eliminating redundant computations and avoiding multiple visits of data structures. It can be shown that no general method exists for inventing the required eureka predicates for a given initial program. We introduce here two strategies, the Loop Absorption Strategy and the Generalization Strategy, which in many cases determine the new predicates to be defined during program transformation. We study the properties of those strategies and we present some classes of programs in which they are successful." @default.
- W1581336022 created "2016-06-24" @default.
- W1581336022 creator A5018873219 @default.
- W1581336022 creator A5025420559 @default.
- W1581336022 date "1990-01-01" @default.
- W1581336022 modified "2023-10-14" @default.
- W1581336022 title "Synthesis of eureka predicates for developing logic programs" @default.
- W1581336022 cites W1973442766 @default.
- W1581336022 cites W1975813326 @default.
- W1581336022 cites W1988651604 @default.
- W1581336022 cites W1993075518 @default.
- W1581336022 cites W2023299380 @default.
- W1581336022 cites W2056168527 @default.
- W1581336022 cites W2061767363 @default.
- W1581336022 cites W2072500626 @default.
- W1581336022 cites W2097805327 @default.
- W1581336022 cites W2108911687 @default.
- W1581336022 cites W4206370914 @default.
- W1581336022 cites W4235363020 @default.
- W1581336022 doi "https://doi.org/10.1007/3-540-52592-0_71" @default.
- W1581336022 hasPublicationYear "1990" @default.
- W1581336022 type Work @default.
- W1581336022 sameAs 1581336022 @default.
- W1581336022 citedByCount "22" @default.
- W1581336022 countsByYear W15813360222020 @default.
- W1581336022 countsByYear W15813360222023 @default.
- W1581336022 crossrefType "book-chapter" @default.
- W1581336022 hasAuthorship W1581336022A5018873219 @default.
- W1581336022 hasAuthorship W1581336022A5025420559 @default.
- W1581336022 hasBestOaLocation W15813360221 @default.
- W1581336022 hasConcept C104317684 @default.
- W1581336022 hasConcept C128838566 @default.
- W1581336022 hasConcept C134306372 @default.
- W1581336022 hasConcept C177148314 @default.
- W1581336022 hasConcept C185592680 @default.
- W1581336022 hasConcept C199360897 @default.
- W1581336022 hasConcept C204241405 @default.
- W1581336022 hasConcept C2776937632 @default.
- W1581336022 hasConcept C2778361913 @default.
- W1581336022 hasConcept C2987117450 @default.
- W1581336022 hasConcept C33923547 @default.
- W1581336022 hasConcept C41008148 @default.
- W1581336022 hasConcept C45374587 @default.
- W1581336022 hasConcept C55493867 @default.
- W1581336022 hasConcept C80444323 @default.
- W1581336022 hasConceptScore W1581336022C104317684 @default.
- W1581336022 hasConceptScore W1581336022C128838566 @default.
- W1581336022 hasConceptScore W1581336022C134306372 @default.
- W1581336022 hasConceptScore W1581336022C177148314 @default.
- W1581336022 hasConceptScore W1581336022C185592680 @default.
- W1581336022 hasConceptScore W1581336022C199360897 @default.
- W1581336022 hasConceptScore W1581336022C204241405 @default.
- W1581336022 hasConceptScore W1581336022C2776937632 @default.
- W1581336022 hasConceptScore W1581336022C2778361913 @default.
- W1581336022 hasConceptScore W1581336022C2987117450 @default.
- W1581336022 hasConceptScore W1581336022C33923547 @default.
- W1581336022 hasConceptScore W1581336022C41008148 @default.
- W1581336022 hasConceptScore W1581336022C45374587 @default.
- W1581336022 hasConceptScore W1581336022C55493867 @default.
- W1581336022 hasConceptScore W1581336022C80444323 @default.
- W1581336022 hasLocation W15813360221 @default.
- W1581336022 hasOpenAccess W1581336022 @default.
- W1581336022 hasPrimaryLocation W15813360221 @default.
- W1581336022 hasRelatedWork W135379672 @default.
- W1581336022 hasRelatedWork W1494913990 @default.
- W1581336022 hasRelatedWork W1497984322 @default.
- W1581336022 hasRelatedWork W1597062518 @default.
- W1581336022 hasRelatedWork W1943281423 @default.
- W1581336022 hasRelatedWork W2124148464 @default.
- W1581336022 hasRelatedWork W2294814021 @default.
- W1581336022 hasRelatedWork W2365767001 @default.
- W1581336022 hasRelatedWork W4245713008 @default.
- W1581336022 hasRelatedWork W2467097043 @default.
- W1581336022 isParatext "false" @default.
- W1581336022 isRetracted "false" @default.
- W1581336022 magId "1581336022" @default.
- W1581336022 workType "book-chapter" @default.