Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950517301> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2950517301 abstract "Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S'$, there exists a constructive method to go backwards from state $S'$ to state $S$. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to name a few. In this work, we focus on term rewriting, a computation model that underlies most rule-based programming languages. In general, term rewriting is not reversible, even for injective functions; namely, given a rewrite step $t_1 rightarrow t_2$, we do not always have a decidable method to get $t_1$ from $t_2$. Here, we introduce a conservative extension of term rewriting that becomes reversible. Furthermore, we also define two transformations, injectivization and inversion, to make a rewrite system reversible using standard term rewriting. We illustrate the usefulness of our transformations in the context of bidirectional program transformation." @default.
- W2950517301 created "2019-06-27" @default.
- W2950517301 creator A5034671904 @default.
- W2950517301 creator A5039281466 @default.
- W2950517301 creator A5087763144 @default.
- W2950517301 date "2017-10-08" @default.
- W2950517301 modified "2023-09-27" @default.
- W2950517301 title "Reversible Computation in Term Rewriting" @default.
- W2950517301 doi "https://doi.org/10.48550/arxiv.1710.02804" @default.
- W2950517301 hasPublicationYear "2017" @default.
- W2950517301 type Work @default.
- W2950517301 sameAs 2950517301 @default.
- W2950517301 citedByCount "0" @default.
- W2950517301 crossrefType "posted-content" @default.
- W2950517301 hasAuthorship W2950517301A5034671904 @default.
- W2950517301 hasAuthorship W2950517301A5039281466 @default.
- W2950517301 hasAuthorship W2950517301A5087763144 @default.
- W2950517301 hasBestOaLocation W29505173011 @default.
- W2950517301 hasConcept C104317684 @default.
- W2950517301 hasConcept C118615104 @default.
- W2950517301 hasConcept C121332964 @default.
- W2950517301 hasConcept C128107574 @default.
- W2950517301 hasConcept C153269930 @default.
- W2950517301 hasConcept C154690210 @default.
- W2950517301 hasConcept C185592680 @default.
- W2950517301 hasConcept C199360897 @default.
- W2950517301 hasConcept C204241405 @default.
- W2950517301 hasConcept C2778361913 @default.
- W2950517301 hasConcept C2778701210 @default.
- W2950517301 hasConcept C2780432614 @default.
- W2950517301 hasConcept C33923547 @default.
- W2950517301 hasConcept C41008148 @default.
- W2950517301 hasConcept C42383842 @default.
- W2950517301 hasConcept C45374587 @default.
- W2950517301 hasConcept C48103436 @default.
- W2950517301 hasConcept C55493867 @default.
- W2950517301 hasConcept C61797465 @default.
- W2950517301 hasConcept C62520636 @default.
- W2950517301 hasConcept C77906462 @default.
- W2950517301 hasConcept C80444323 @default.
- W2950517301 hasConcept C98045186 @default.
- W2950517301 hasConceptScore W2950517301C104317684 @default.
- W2950517301 hasConceptScore W2950517301C118615104 @default.
- W2950517301 hasConceptScore W2950517301C121332964 @default.
- W2950517301 hasConceptScore W2950517301C128107574 @default.
- W2950517301 hasConceptScore W2950517301C153269930 @default.
- W2950517301 hasConceptScore W2950517301C154690210 @default.
- W2950517301 hasConceptScore W2950517301C185592680 @default.
- W2950517301 hasConceptScore W2950517301C199360897 @default.
- W2950517301 hasConceptScore W2950517301C204241405 @default.
- W2950517301 hasConceptScore W2950517301C2778361913 @default.
- W2950517301 hasConceptScore W2950517301C2778701210 @default.
- W2950517301 hasConceptScore W2950517301C2780432614 @default.
- W2950517301 hasConceptScore W2950517301C33923547 @default.
- W2950517301 hasConceptScore W2950517301C41008148 @default.
- W2950517301 hasConceptScore W2950517301C42383842 @default.
- W2950517301 hasConceptScore W2950517301C45374587 @default.
- W2950517301 hasConceptScore W2950517301C48103436 @default.
- W2950517301 hasConceptScore W2950517301C55493867 @default.
- W2950517301 hasConceptScore W2950517301C61797465 @default.
- W2950517301 hasConceptScore W2950517301C62520636 @default.
- W2950517301 hasConceptScore W2950517301C77906462 @default.
- W2950517301 hasConceptScore W2950517301C80444323 @default.
- W2950517301 hasConceptScore W2950517301C98045186 @default.
- W2950517301 hasLocation W29505173011 @default.
- W2950517301 hasLocation W29505173012 @default.
- W2950517301 hasOpenAccess W2950517301 @default.
- W2950517301 hasPrimaryLocation W29505173011 @default.
- W2950517301 hasRelatedWork W1520451507 @default.
- W2950517301 hasRelatedWork W1567308204 @default.
- W2950517301 hasRelatedWork W2011361820 @default.
- W2950517301 hasRelatedWork W2030762481 @default.
- W2950517301 hasRelatedWork W2060286614 @default.
- W2950517301 hasRelatedWork W2161216900 @default.
- W2950517301 hasRelatedWork W2506994270 @default.
- W2950517301 hasRelatedWork W2763395989 @default.
- W2950517301 hasRelatedWork W2950517301 @default.
- W2950517301 hasRelatedWork W4210495575 @default.
- W2950517301 isParatext "false" @default.
- W2950517301 isRetracted "false" @default.
- W2950517301 magId "2950517301" @default.
- W2950517301 workType "article" @default.