Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988185893> ?p ?o ?g. }
- W1988185893 endingPage "320" @default.
- W1988185893 startingPage "261" @default.
- W1988185893 abstract "We present an overview of some techniques which have been proposed for the transformation of logic programs. We consider the so-called “rules + strategies” approach, and we address the following two issues: the correctness of some basic transformation rules w.r.t. a given semantics and the use of strategies for guiding the application of the rules and improving efficiency. We will also show through some examples the use and the power of the transformational approach, and we will briefly illustrate its relationship to other methodologies for program development." @default.
- W1988185893 created "2016-06-24" @default.
- W1988185893 creator A5018873219 @default.
- W1988185893 creator A5025420559 @default.
- W1988185893 date "1994-05-01" @default.
- W1988185893 modified "2023-09-29" @default.
- W1988185893 title "Transformation of logic programs: Foundations and techniques" @default.
- W1988185893 cites W1507069282 @default.
- W1988185893 cites W1529317038 @default.
- W1988185893 cites W1532674857 @default.
- W1988185893 cites W153405243 @default.
- W1988185893 cites W1604215041 @default.
- W1988185893 cites W1965784613 @default.
- W1988185893 cites W1968602872 @default.
- W1988185893 cites W1973337882 @default.
- W1988185893 cites W1973422757 @default.
- W1988185893 cites W1973442766 @default.
- W1988185893 cites W1975952423 @default.
- W1988185893 cites W1978509573 @default.
- W1988185893 cites W1983305931 @default.
- W1988185893 cites W1983489452 @default.
- W1988185893 cites W1988651604 @default.
- W1988185893 cites W1988901815 @default.
- W1988185893 cites W1991589943 @default.
- W1988185893 cites W1992808564 @default.
- W1988185893 cites W1993075518 @default.
- W1988185893 cites W1995270677 @default.
- W1988185893 cites W1997189447 @default.
- W1988185893 cites W1997254051 @default.
- W1988185893 cites W2001937661 @default.
- W1988185893 cites W2003531456 @default.
- W1988185893 cites W2009165202 @default.
- W1988185893 cites W2010104109 @default.
- W1988185893 cites W2011306767 @default.
- W1988185893 cites W2020024606 @default.
- W1988185893 cites W2023299380 @default.
- W1988185893 cites W2032672695 @default.
- W1988185893 cites W2033490389 @default.
- W1988185893 cites W2037035101 @default.
- W1988185893 cites W2044422265 @default.
- W1988185893 cites W2050584095 @default.
- W1988185893 cites W2056168527 @default.
- W1988185893 cites W2061767363 @default.
- W1988185893 cites W2062968803 @default.
- W1988185893 cites W2063236708 @default.
- W1988185893 cites W2068822038 @default.
- W1988185893 cites W2069163688 @default.
- W1988185893 cites W2069926280 @default.
- W1988185893 cites W2070902236 @default.
- W1988185893 cites W2076100169 @default.
- W1988185893 cites W2081484419 @default.
- W1988185893 cites W2092096356 @default.
- W1988185893 cites W2092371432 @default.
- W1988185893 cites W2092753191 @default.
- W1988185893 cites W2093264024 @default.
- W1988185893 cites W2108911687 @default.
- W1988185893 cites W2118483018 @default.
- W1988185893 cites W2121496138 @default.
- W1988185893 cites W2135124683 @default.
- W1988185893 cites W2914613462 @default.
- W1988185893 cites W3163229952 @default.
- W1988185893 cites W4240931473 @default.
- W1988185893 cites W4248695203 @default.
- W1988185893 cites W2134488876 @default.
- W1988185893 doi "https://doi.org/10.1016/0743-1066(94)90028-0" @default.
- W1988185893 hasPublicationYear "1994" @default.
- W1988185893 type Work @default.
- W1988185893 sameAs 1988185893 @default.
- W1988185893 citedByCount "200" @default.
- W1988185893 countsByYear W19881858932012 @default.
- W1988185893 countsByYear W19881858932013 @default.
- W1988185893 countsByYear W19881858932014 @default.
- W1988185893 countsByYear W19881858932015 @default.
- W1988185893 countsByYear W19881858932016 @default.
- W1988185893 countsByYear W19881858932017 @default.
- W1988185893 countsByYear W19881858932018 @default.
- W1988185893 countsByYear W19881858932021 @default.
- W1988185893 countsByYear W19881858932022 @default.
- W1988185893 countsByYear W19881858932023 @default.
- W1988185893 crossrefType "journal-article" @default.
- W1988185893 hasAuthorship W1988185893A5018873219 @default.
- W1988185893 hasAuthorship W1988185893A5025420559 @default.
- W1988185893 hasConcept C104317684 @default.
- W1988185893 hasConcept C154945302 @default.
- W1988185893 hasConcept C17744445 @default.
- W1988185893 hasConcept C184337299 @default.
- W1988185893 hasConcept C185592680 @default.
- W1988185893 hasConcept C199360897 @default.
- W1988185893 hasConcept C204241405 @default.
- W1988185893 hasConcept C2776436953 @default.
- W1988185893 hasConcept C2778361913 @default.
- W1988185893 hasConcept C2779791154 @default.
- W1988185893 hasConcept C38775462 @default.
- W1988185893 hasConcept C39549134 @default.
- W1988185893 hasConcept C41008148 @default.
- W1988185893 hasConcept C55439883 @default.
- W1988185893 hasConcept C55493867 @default.
- W1988185893 hasConcept C80444323 @default.