Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103181655> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2103181655 endingPage "281" @default.
- W2103181655 startingPage "263" @default.
- W2103181655 abstract "Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping inefficient constructs to more efficient ones. One challenging aspect of the technique is that of proving that the schemata are correct.This paper addresses the issue of correctness. We define operations for developing correct schemata by construction. The schema development operations are higher order equivalents of the classic program transformations of fold/unfold [6]. We consider a transformation schema to be correct if its application yields a target program which is equivalent to the source program under the pure Prolog semantics.The work described in this paper makes three contributions: a methodology for the development of provably correct program transformation schemata, abstraction of program transformation operations to transformation operations on schemata, and a higher-order unification algorithm which forms the basis of the schema transformation operations.KeywordsSchema DevelopmentLogic ProgramCorrectness ConditionTermination PropertyProgram 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.
- W2103181655 created "2016-06-24" @default.
- W2103181655 creator A5021844660 @default.
- W2103181655 creator A5064159323 @default.
- W2103181655 date "1998-01-01" @default.
- W2103181655 modified "2023-09-27" @default.
- W2103181655 title "Development of Correct Transformation Schemata for Prolog Programs" @default.
- W2103181655 cites W1581769579 @default.
- W2103181655 cites W1982243747 @default.
- W2103181655 cites W1988185893 @default.
- W2103181655 doi "https://doi.org/10.1007/3-540-49674-2_14" @default.
- W2103181655 hasPublicationYear "1998" @default.
- W2103181655 type Work @default.
- W2103181655 sameAs 2103181655 @default.
- W2103181655 citedByCount "13" @default.
- W2103181655 countsByYear W21031816552016 @default.
- W2103181655 countsByYear W21031816552017 @default.
- W2103181655 crossrefType "book-chapter" @default.
- W2103181655 hasAuthorship W2103181655A5021844660 @default.
- W2103181655 hasAuthorship W2103181655A5064159323 @default.
- W2103181655 hasConcept C104317684 @default.
- W2103181655 hasConcept C11413529 @default.
- W2103181655 hasConcept C128838566 @default.
- W2103181655 hasConcept C185592680 @default.
- W2103181655 hasConcept C195701839 @default.
- W2103181655 hasConcept C199360897 @default.
- W2103181655 hasConcept C204241405 @default.
- W2103181655 hasConcept C23123220 @default.
- W2103181655 hasConcept C2778361913 @default.
- W2103181655 hasConcept C2987117450 @default.
- W2103181655 hasConcept C41008148 @default.
- W2103181655 hasConcept C52146309 @default.
- W2103181655 hasConcept C55493867 @default.
- W2103181655 hasConcept C80444323 @default.
- W2103181655 hasConcept C81721847 @default.
- W2103181655 hasConceptScore W2103181655C104317684 @default.
- W2103181655 hasConceptScore W2103181655C11413529 @default.
- W2103181655 hasConceptScore W2103181655C128838566 @default.
- W2103181655 hasConceptScore W2103181655C185592680 @default.
- W2103181655 hasConceptScore W2103181655C195701839 @default.
- W2103181655 hasConceptScore W2103181655C199360897 @default.
- W2103181655 hasConceptScore W2103181655C204241405 @default.
- W2103181655 hasConceptScore W2103181655C23123220 @default.
- W2103181655 hasConceptScore W2103181655C2778361913 @default.
- W2103181655 hasConceptScore W2103181655C2987117450 @default.
- W2103181655 hasConceptScore W2103181655C41008148 @default.
- W2103181655 hasConceptScore W2103181655C52146309 @default.
- W2103181655 hasConceptScore W2103181655C55493867 @default.
- W2103181655 hasConceptScore W2103181655C80444323 @default.
- W2103181655 hasConceptScore W2103181655C81721847 @default.
- W2103181655 hasLocation W21031816551 @default.
- W2103181655 hasOpenAccess W2103181655 @default.
- W2103181655 hasPrimaryLocation W21031816551 @default.
- W2103181655 hasRelatedWork W127331667 @default.
- W2103181655 hasRelatedWork W1509101551 @default.
- W2103181655 hasRelatedWork W1522712062 @default.
- W2103181655 hasRelatedWork W1552938934 @default.
- W2103181655 hasRelatedWork W1558703927 @default.
- W2103181655 hasRelatedWork W1562307676 @default.
- W2103181655 hasRelatedWork W1607238569 @default.
- W2103181655 hasRelatedWork W1759458034 @default.
- W2103181655 hasRelatedWork W1964596093 @default.
- W2103181655 hasRelatedWork W1983718842 @default.
- W2103181655 hasRelatedWork W1985819576 @default.
- W2103181655 hasRelatedWork W2004176798 @default.
- W2103181655 hasRelatedWork W2175734109 @default.
- W2103181655 hasRelatedWork W2513163031 @default.
- W2103181655 hasRelatedWork W2567256038 @default.
- W2103181655 hasRelatedWork W2768218374 @default.
- W2103181655 hasRelatedWork W2950154225 @default.
- W2103181655 hasRelatedWork W5424990 @default.
- W2103181655 hasRelatedWork W99616206 @default.
- W2103181655 hasRelatedWork W2560841415 @default.
- W2103181655 isParatext "false" @default.
- W2103181655 isRetracted "false" @default.
- W2103181655 magId "2103181655" @default.
- W2103181655 workType "book-chapter" @default.