Matches in SemOpenAlex for { <https://semopenalex.org/work/W60573678> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W60573678 endingPage "490" @default.
- W60573678 startingPage "478" @default.
- W60573678 abstract "Unfolding transformation has long been used for computation and program transformation both in functional programming and logic programming paradigms. In this paper, we clarify that an unfolding step can be regarded as the composition of two simpler operations, i.e., expanding transformation and unification, and show that expanding transformation, rather than unfolding transformation, is a suitable basis for verifying the correctness of rewriting rules by pattern manipulation, which in turn provides a basis for systematically generating rewriting rules from a given problem description. We verify the correctness of expanding transformation and demonstrate the correctness of a basic class of rewriting rules, called general rewriting rules, based on expanding transformation. Applying expanding transformation and its correctness result, we demonstrate correctness verification of a larger class of rewriting rules, called expanding-based rewriting rules, by transformation of clause patterns." @default.
- W60573678 created "2016-06-24" @default.
- W60573678 creator A5022955232 @default.
- W60573678 creator A5038829013 @default.
- W60573678 creator A5087449143 @default.
- W60573678 date "2007-06-20" @default.
- W60573678 modified "2023-09-26" @default.
- W60573678 title "Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules" @default.
- W60573678 cites W1549547059 @default.
- W60573678 cites W1974008324 @default.
- W60573678 cites W2009332552 @default.
- W60573678 cites W2009385526 @default.
- W60573678 cites W2023299380 @default.
- W60573678 cites W2056410280 @default.
- W60573678 cites W2079398243 @default.
- W60573678 cites W2100738443 @default.
- W60573678 cites W2114556521 @default.
- W60573678 cites W2493467617 @default.
- W60573678 cites W4206370914 @default.
- W60573678 cites W4254885217 @default.
- W60573678 cites W58529227 @default.
- W60573678 doi "https://doi.org/10.20965/jaciii.2007.p0478" @default.
- W60573678 hasPublicationYear "2007" @default.
- W60573678 type Work @default.
- W60573678 sameAs 60573678 @default.
- W60573678 citedByCount "2" @default.
- W60573678 crossrefType "journal-article" @default.
- W60573678 hasAuthorship W60573678A5022955232 @default.
- W60573678 hasAuthorship W60573678A5038829013 @default.
- W60573678 hasAuthorship W60573678A5087449143 @default.
- W60573678 hasBestOaLocation W605736781 @default.
- W60573678 hasConcept C104317684 @default.
- W60573678 hasConcept C11413529 @default.
- W60573678 hasConcept C12426560 @default.
- W60573678 hasConcept C154690210 @default.
- W60573678 hasConcept C154945302 @default.
- W60573678 hasConcept C185592680 @default.
- W60573678 hasConcept C199360897 @default.
- W60573678 hasConcept C204241405 @default.
- W60573678 hasConcept C2524010 @default.
- W60573678 hasConcept C2777212361 @default.
- W60573678 hasConcept C2778361913 @default.
- W60573678 hasConcept C33923547 @default.
- W60573678 hasConcept C41008148 @default.
- W60573678 hasConcept C55439883 @default.
- W60573678 hasConcept C55493867 @default.
- W60573678 hasConcept C77906462 @default.
- W60573678 hasConcept C80444323 @default.
- W60573678 hasConcept C96146094 @default.
- W60573678 hasConceptScore W60573678C104317684 @default.
- W60573678 hasConceptScore W60573678C11413529 @default.
- W60573678 hasConceptScore W60573678C12426560 @default.
- W60573678 hasConceptScore W60573678C154690210 @default.
- W60573678 hasConceptScore W60573678C154945302 @default.
- W60573678 hasConceptScore W60573678C185592680 @default.
- W60573678 hasConceptScore W60573678C199360897 @default.
- W60573678 hasConceptScore W60573678C204241405 @default.
- W60573678 hasConceptScore W60573678C2524010 @default.
- W60573678 hasConceptScore W60573678C2777212361 @default.
- W60573678 hasConceptScore W60573678C2778361913 @default.
- W60573678 hasConceptScore W60573678C33923547 @default.
- W60573678 hasConceptScore W60573678C41008148 @default.
- W60573678 hasConceptScore W60573678C55439883 @default.
- W60573678 hasConceptScore W60573678C55493867 @default.
- W60573678 hasConceptScore W60573678C77906462 @default.
- W60573678 hasConceptScore W60573678C80444323 @default.
- W60573678 hasConceptScore W60573678C96146094 @default.
- W60573678 hasIssue "5" @default.
- W60573678 hasLocation W605736781 @default.
- W60573678 hasOpenAccess W60573678 @default.
- W60573678 hasPrimaryLocation W605736781 @default.
- W60573678 hasRelatedWork W1759458034 @default.
- W60573678 hasRelatedWork W1828814899 @default.
- W60573678 hasRelatedWork W2030762481 @default.
- W60573678 hasRelatedWork W2057080313 @default.
- W60573678 hasRelatedWork W2172102451 @default.
- W60573678 hasRelatedWork W2408365838 @default.
- W60573678 hasRelatedWork W60110726 @default.
- W60573678 hasRelatedWork W1599041585 @default.
- W60573678 hasRelatedWork W2469909632 @default.
- W60573678 hasRelatedWork W2526228776 @default.
- W60573678 hasVolume "11" @default.
- W60573678 isParatext "false" @default.
- W60573678 isRetracted "false" @default.
- W60573678 magId "60573678" @default.
- W60573678 workType "article" @default.