Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042468750> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3042468750 abstract "This thesis is devoted to the study of a calculus that describes the application of conditional rewriting rules and the obtained results at the same level of representation. We introduce the rewriting calculus, also called the rho-calculus, which generalizes the first order term rewriting and lambda-calculus, and makes possible the representation of the non-determinism. In our approach the abstraction operator as well as the application operator are objects of calculus. The result of a reduction in the rewriting calculus is either an empty set representing the application failure, or a singleton representing a deterministic result, or a set having several elements representing a not-deterministic choice of results. In this thesis we concentrate on the properties of the rewriting calculus where a syntactic matching is used in order to bind the variables to their current values. We define evaluation strategies ensuring the confluence of the calculus and we show that these strategies become trivial for restrictions of the general rewriting calculus to simpler calculi like the lambda-calculus. The rewriting calculus is not terminating in the untyped case but the strong normalization is obtained for the simply typed calculus. In the rewriting calculus extended with an operator allowing to test the application failure we define terms representing innermost and outermost normalizations with respect to a set of rewriting rules. By using these terms, we obtain a natural and concise description of the conditional rewriting. Finally, starting from the representation of the conditional rewriting rules, we show how the rewriting calculus can be used to give a semantics to ELAN, a language based on the application of rewriting rules controlled by strategies." @default.
- W3042468750 created "2020-07-23" @default.
- W3042468750 creator A5015822800 @default.
- W3042468750 date "2000-11-01" @default.
- W3042468750 modified "2023-09-24" @default.
- W3042468750 title "Rewriting Calculus: Foundations and Applications" @default.
- W3042468750 hasPublicationYear "2000" @default.
- W3042468750 type Work @default.
- W3042468750 sameAs 3042468750 @default.
- W3042468750 citedByCount "2" @default.
- W3042468750 crossrefType "journal-article" @default.
- W3042468750 hasAuthorship W3042468750A5015822800 @default.
- W3042468750 hasConcept C118615104 @default.
- W3042468750 hasConcept C135790938 @default.
- W3042468750 hasConcept C142156749 @default.
- W3042468750 hasConcept C154690210 @default.
- W3042468750 hasConcept C199343813 @default.
- W3042468750 hasConcept C199360897 @default.
- W3042468750 hasConcept C2777686260 @default.
- W3042468750 hasConcept C33923547 @default.
- W3042468750 hasConcept C41008148 @default.
- W3042468750 hasConcept C61237538 @default.
- W3042468750 hasConcept C62073222 @default.
- W3042468750 hasConcept C71924100 @default.
- W3042468750 hasConcept C77736955 @default.
- W3042468750 hasConcept C77906462 @default.
- W3042468750 hasConceptScore W3042468750C118615104 @default.
- W3042468750 hasConceptScore W3042468750C135790938 @default.
- W3042468750 hasConceptScore W3042468750C142156749 @default.
- W3042468750 hasConceptScore W3042468750C154690210 @default.
- W3042468750 hasConceptScore W3042468750C199343813 @default.
- W3042468750 hasConceptScore W3042468750C199360897 @default.
- W3042468750 hasConceptScore W3042468750C2777686260 @default.
- W3042468750 hasConceptScore W3042468750C33923547 @default.
- W3042468750 hasConceptScore W3042468750C41008148 @default.
- W3042468750 hasConceptScore W3042468750C61237538 @default.
- W3042468750 hasConceptScore W3042468750C62073222 @default.
- W3042468750 hasConceptScore W3042468750C71924100 @default.
- W3042468750 hasConceptScore W3042468750C77736955 @default.
- W3042468750 hasConceptScore W3042468750C77906462 @default.
- W3042468750 hasLocation W30424687501 @default.
- W3042468750 hasOpenAccess W3042468750 @default.
- W3042468750 hasPrimaryLocation W30424687501 @default.
- W3042468750 hasRelatedWork W1481783499 @default.
- W3042468750 hasRelatedWork W1534772435 @default.
- W3042468750 hasRelatedWork W1556311577 @default.
- W3042468750 hasRelatedWork W1640898018 @default.
- W3042468750 hasRelatedWork W1820150402 @default.
- W3042468750 hasRelatedWork W1899927323 @default.
- W3042468750 hasRelatedWork W1908505045 @default.
- W3042468750 hasRelatedWork W1973520397 @default.
- W3042468750 hasRelatedWork W1974315746 @default.
- W3042468750 hasRelatedWork W2019313571 @default.
- W3042468750 hasRelatedWork W2053801514 @default.
- W3042468750 hasRelatedWork W2087320563 @default.
- W3042468750 hasRelatedWork W2089599948 @default.
- W3042468750 hasRelatedWork W2124729849 @default.
- W3042468750 hasRelatedWork W2253601327 @default.
- W3042468750 hasRelatedWork W2951265876 @default.
- W3042468750 hasRelatedWork W2990154007 @default.
- W3042468750 hasRelatedWork W3002520379 @default.
- W3042468750 hasRelatedWork W3121751869 @default.
- W3042468750 hasRelatedWork W3126030350 @default.
- W3042468750 isParatext "false" @default.
- W3042468750 isRetracted "false" @default.
- W3042468750 magId "3042468750" @default.
- W3042468750 workType "article" @default.