Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009385526> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2009385526 endingPage "270" @default.
- W2009385526 startingPage "255" @default.
- W2009385526 abstract "In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variables of two different kinds enables precise control of rewriting-rule instantiations. As a result, the applicability of rewriting rules and the results of rule applications can be rigorously specified. A theoretical basis for justifying the correctness of rewriting rules is established. Reverse transformation operation in the RBET framework is discussed, and it is shown that a correct rewriting rule is reversible, i.e., a correct rewriting rule can in general be constructed by syntactically reversing another correct rewriting rule." @default.
- W2009385526 created "2016-06-24" @default.
- W2009385526 creator A5022955232 @default.
- W2009385526 creator A5038829013 @default.
- W2009385526 creator A5087449143 @default.
- W2009385526 date "2001-11-01" @default.
- W2009385526 modified "2023-09-27" @default.
- W2009385526 title "A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation" @default.
- W2009385526 cites W1988185893 @default.
- W2009385526 cites W2100738443 @default.
- W2009385526 doi "https://doi.org/10.1016/s1571-0661(04)00291-9" @default.
- W2009385526 hasPublicationYear "2001" @default.
- W2009385526 type Work @default.
- W2009385526 sameAs 2009385526 @default.
- W2009385526 citedByCount "14" @default.
- W2009385526 crossrefType "journal-article" @default.
- W2009385526 hasAuthorship W2009385526A5022955232 @default.
- W2009385526 hasAuthorship W2009385526A5038829013 @default.
- W2009385526 hasAuthorship W2009385526A5087449143 @default.
- W2009385526 hasBestOaLocation W20093855261 @default.
- W2009385526 hasConcept C104317684 @default.
- W2009385526 hasConcept C154690210 @default.
- W2009385526 hasConcept C154945302 @default.
- W2009385526 hasConcept C177264268 @default.
- W2009385526 hasConcept C185592680 @default.
- W2009385526 hasConcept C199360897 @default.
- W2009385526 hasConcept C204241405 @default.
- W2009385526 hasConcept C2777212361 @default.
- W2009385526 hasConcept C33923547 @default.
- W2009385526 hasConcept C41008148 @default.
- W2009385526 hasConcept C55439883 @default.
- W2009385526 hasConcept C55493867 @default.
- W2009385526 hasConcept C60048249 @default.
- W2009385526 hasConcept C77906462 @default.
- W2009385526 hasConcept C80444323 @default.
- W2009385526 hasConceptScore W2009385526C104317684 @default.
- W2009385526 hasConceptScore W2009385526C154690210 @default.
- W2009385526 hasConceptScore W2009385526C154945302 @default.
- W2009385526 hasConceptScore W2009385526C177264268 @default.
- W2009385526 hasConceptScore W2009385526C185592680 @default.
- W2009385526 hasConceptScore W2009385526C199360897 @default.
- W2009385526 hasConceptScore W2009385526C204241405 @default.
- W2009385526 hasConceptScore W2009385526C2777212361 @default.
- W2009385526 hasConceptScore W2009385526C33923547 @default.
- W2009385526 hasConceptScore W2009385526C41008148 @default.
- W2009385526 hasConceptScore W2009385526C55439883 @default.
- W2009385526 hasConceptScore W2009385526C55493867 @default.
- W2009385526 hasConceptScore W2009385526C60048249 @default.
- W2009385526 hasConceptScore W2009385526C77906462 @default.
- W2009385526 hasConceptScore W2009385526C80444323 @default.
- W2009385526 hasIssue "4" @default.
- W2009385526 hasLocation W20093855261 @default.
- W2009385526 hasOpenAccess W2009385526 @default.
- W2009385526 hasPrimaryLocation W20093855261 @default.
- W2009385526 hasRelatedWork W1517509111 @default.
- W2009385526 hasRelatedWork W1537623425 @default.
- W2009385526 hasRelatedWork W1608093724 @default.
- W2009385526 hasRelatedWork W1746660792 @default.
- W2009385526 hasRelatedWork W1828814899 @default.
- W2009385526 hasRelatedWork W1980968022 @default.
- W2009385526 hasRelatedWork W1985198438 @default.
- W2009385526 hasRelatedWork W2172102451 @default.
- W2009385526 hasRelatedWork W2912206915 @default.
- W2009385526 hasRelatedWork W4226436121 @default.
- W2009385526 hasVolume "59" @default.
- W2009385526 isParatext "false" @default.
- W2009385526 isRetracted "false" @default.
- W2009385526 magId "2009385526" @default.
- W2009385526 workType "article" @default.