Matches in SemOpenAlex for { <https://semopenalex.org/work/W182743088> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W182743088 abstract "Conditional re,vriting and priority re,vriting are two recent generalizations of term rewriting systems. In the former, each revrite rule is accompanied by an antecedent which must be sho,vn to hold before rewriting can OCCUI. In the latter, re,vrite rules can be used only' in a particular order. We compare these formalisms: neither formalism encompasses the other in a practical sense, but we give restrictions under which priority and conditional rewriting can be equivalent. We combine the two operational mechanisms, obtaining a natural and expressive formalism called Priority Conditional Rewriting Systems (PCRS). PCRS can be used to fully-define data type specifications and function specifications. Towards this goal, restrictions are given that encourage modularity of specifications and ensure properties of termination, confluence, and total reducibility of ground terms. A logical semantics for priority conditional rewriting is described, using equational formulas £(~) obtained from the rules in the PCRS ~; we give conditions under which rewriting with PCRS is sound and" @default.
- W182743088 created "2016-06-24" @default.
- W182743088 creator A5051923415 @default.
- W182743088 date "1989-01-01" @default.
- W182743088 modified "2023-09-24" @default.
- W182743088 title "Term Rewriting with Conditionals and Priority Orderings" @default.
- W182743088 cites W1513315908 @default.
- W182743088 cites W1536163973 @default.
- W182743088 cites W1536672989 @default.
- W182743088 cites W1559211365 @default.
- W182743088 cites W1593511312 @default.
- W182743088 cites W1598625331 @default.
- W182743088 cites W1984059530 @default.
- W182743088 cites W2018227989 @default.
- W182743088 cites W2061151133 @default.
- W182743088 cites W2121757274 @default.
- W182743088 cites W2134338128 @default.
- W182743088 cites W2498360300 @default.
- W182743088 cites W2584233711 @default.
- W182743088 cites W33901518 @default.
- W182743088 cites W59731535 @default.
- W182743088 hasPublicationYear "1989" @default.
- W182743088 type Work @default.
- W182743088 sameAs 182743088 @default.
- W182743088 citedByCount "0" @default.
- W182743088 crossrefType "journal-article" @default.
- W182743088 hasAuthorship W182743088A5051923415 @default.
- W182743088 hasConcept C121332964 @default.
- W182743088 hasConcept C142362112 @default.
- W182743088 hasConcept C153349607 @default.
- W182743088 hasConcept C154690210 @default.
- W182743088 hasConcept C171018156 @default.
- W182743088 hasConcept C199360897 @default.
- W182743088 hasConcept C2524010 @default.
- W182743088 hasConcept C33923547 @default.
- W182743088 hasConcept C41008148 @default.
- W182743088 hasConcept C558565934 @default.
- W182743088 hasConcept C61797465 @default.
- W182743088 hasConcept C62520636 @default.
- W182743088 hasConcept C73301696 @default.
- W182743088 hasConcept C77906462 @default.
- W182743088 hasConcept C80444323 @default.
- W182743088 hasConceptScore W182743088C121332964 @default.
- W182743088 hasConceptScore W182743088C142362112 @default.
- W182743088 hasConceptScore W182743088C153349607 @default.
- W182743088 hasConceptScore W182743088C154690210 @default.
- W182743088 hasConceptScore W182743088C171018156 @default.
- W182743088 hasConceptScore W182743088C199360897 @default.
- W182743088 hasConceptScore W182743088C2524010 @default.
- W182743088 hasConceptScore W182743088C33923547 @default.
- W182743088 hasConceptScore W182743088C41008148 @default.
- W182743088 hasConceptScore W182743088C558565934 @default.
- W182743088 hasConceptScore W182743088C61797465 @default.
- W182743088 hasConceptScore W182743088C62520636 @default.
- W182743088 hasConceptScore W182743088C73301696 @default.
- W182743088 hasConceptScore W182743088C77906462 @default.
- W182743088 hasConceptScore W182743088C80444323 @default.
- W182743088 hasLocation W1827430881 @default.
- W182743088 hasOpenAccess W182743088 @default.
- W182743088 hasPrimaryLocation W1827430881 @default.
- W182743088 hasRelatedWork W1488213278 @default.
- W182743088 hasRelatedWork W1524769734 @default.
- W182743088 hasRelatedWork W1537275197 @default.
- W182743088 hasRelatedWork W1552961498 @default.
- W182743088 hasRelatedWork W1582807178 @default.
- W182743088 hasRelatedWork W1589441640 @default.
- W182743088 hasRelatedWork W2023922836 @default.
- W182743088 hasRelatedWork W2078372985 @default.
- W182743088 hasRelatedWork W2124304012 @default.
- W182743088 hasRelatedWork W2132302622 @default.
- W182743088 hasRelatedWork W2165079210 @default.
- W182743088 hasRelatedWork W2426138906 @default.
- W182743088 hasRelatedWork W2496358099 @default.
- W182743088 hasRelatedWork W2579527231 @default.
- W182743088 hasRelatedWork W2585889437 @default.
- W182743088 hasRelatedWork W2590177644 @default.
- W182743088 hasRelatedWork W2914735074 @default.
- W182743088 hasRelatedWork W598205067 @default.
- W182743088 hasRelatedWork W59918536 @default.
- W182743088 hasRelatedWork W196228514 @default.
- W182743088 isParatext "false" @default.
- W182743088 isRetracted "false" @default.
- W182743088 magId "182743088" @default.
- W182743088 workType "article" @default.