FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2763395989> ?p ?o ?g. }

• W2763395989 endingPage "149" @default.
• W2763395989 startingPage "128" @default.
• W2763395989 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 t1→t2, we do not always have a decidable method to get t1 from t2. 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.
• W2763395989 created "2017-10-20" @default.
• W2763395989 creator A5034671904 @default.
• W2763395989 creator A5051613376 @default.
• W2763395989 creator A5087763144 @default.
• W2763395989 date "2018-01-01" @default.
• W2763395989 modified "2023-10-16" @default.
• W2763395989 title "Reversible computation in term rewriting" @default.
• W2763395989 cites W1986870597 @default.
• W2763395989 cites W2000616678 @default.
• W2763395989 cites W2015392385 @default.
• W2763395989 cites W2018810851 @default.
• W2763395989 cites W2019506584 @default.
• W2763395989 cites W2020584497 @default.
• W2763395989 cites W2022698632 @default.
• W2763395989 cites W2026235588 @default.
• W2763395989 cites W2031825596 @default.
• W2763395989 cites W2105259569 @default.
• W2763395989 cites W2112450120 @default.
• W2763395989 cites W2113582770 @default.
• W2763395989 cites W2123848106 @default.
• W2763395989 cites W2129644491 @default.
• W2763395989 cites W2167316540 @default.
• W2763395989 cites W2912117092 @default.
• W2763395989 cites W2962766591 @default.
• W2763395989 cites W4210254879 @default.
• W2763395989 cites W4233798822 @default.
• W2763395989 cites W950576007 @default.
• W2763395989 doi "https://doi.org/10.1016/j.jlamp.2017.10.003" @default.
• W2763395989 hasPublicationYear "2018" @default.
• W2763395989 type Work @default.
• W2763395989 sameAs 2763395989 @default.
• W2763395989 citedByCount "9" @default.
• W2763395989 countsByYear W27633959892019 @default.
• W2763395989 countsByYear W27633959892020 @default.
• W2763395989 countsByYear W27633959892021 @default.
• W2763395989 countsByYear W27633959892022 @default.
• W2763395989 countsByYear W27633959892023 @default.
• W2763395989 crossrefType "journal-article" @default.
• W2763395989 hasAuthorship W2763395989A5034671904 @default.
• W2763395989 hasAuthorship W2763395989A5051613376 @default.
• W2763395989 hasAuthorship W2763395989A5087763144 @default.
• W2763395989 hasBestOaLocation W27633959891 @default.
• W2763395989 hasConcept C104317684 @default.
• W2763395989 hasConcept C121332964 @default.
• W2763395989 hasConcept C132525143 @default.
• W2763395989 hasConcept C153269930 @default.
• W2763395989 hasConcept C154690210 @default.
• W2763395989 hasConcept C185592680 @default.
• W2763395989 hasConcept C199360897 @default.
• W2763395989 hasConcept C204241405 @default.
• W2763395989 hasConcept C2778361913 @default.
• W2763395989 hasConcept C2778701210 @default.
• W2763395989 hasConcept C2780432614 @default.
• W2763395989 hasConcept C41008148 @default.
• W2763395989 hasConcept C42383842 @default.
• W2763395989 hasConcept C45374587 @default.
• W2763395989 hasConcept C48103436 @default.
• W2763395989 hasConcept C55493867 @default.
• W2763395989 hasConcept C558772884 @default.
• W2763395989 hasConcept C61797465 @default.
• W2763395989 hasConcept C62520636 @default.
• W2763395989 hasConcept C77906462 @default.
• W2763395989 hasConcept C80444323 @default.
• W2763395989 hasConcept C98045186 @default.
• W2763395989 hasConceptScore W2763395989C104317684 @default.
• W2763395989 hasConceptScore W2763395989C121332964 @default.
• W2763395989 hasConceptScore W2763395989C132525143 @default.
• W2763395989 hasConceptScore W2763395989C153269930 @default.
• W2763395989 hasConceptScore W2763395989C154690210 @default.
• W2763395989 hasConceptScore W2763395989C185592680 @default.
• W2763395989 hasConceptScore W2763395989C199360897 @default.
• W2763395989 hasConceptScore W2763395989C204241405 @default.
• W2763395989 hasConceptScore W2763395989C2778361913 @default.
• W2763395989 hasConceptScore W2763395989C2778701210 @default.
• W2763395989 hasConceptScore W2763395989C2780432614 @default.
• W2763395989 hasConceptScore W2763395989C41008148 @default.
• W2763395989 hasConceptScore W2763395989C42383842 @default.
• W2763395989 hasConceptScore W2763395989C45374587 @default.
• W2763395989 hasConceptScore W2763395989C48103436 @default.
• W2763395989 hasConceptScore W2763395989C55493867 @default.
• W2763395989 hasConceptScore W2763395989C558772884 @default.
• W2763395989 hasConceptScore W2763395989C61797465 @default.
• W2763395989 hasConceptScore W2763395989C62520636 @default.
• W2763395989 hasConceptScore W2763395989C77906462 @default.
• W2763395989 hasConceptScore W2763395989C80444323 @default.
• W2763395989 hasConceptScore W2763395989C98045186 @default.
• W2763395989 hasFunder F4320320366 @default.
• W2763395989 hasFunder F4320321595 @default.
• W2763395989 hasFunder F4320321837 @default.
• W2763395989 hasFunder F4320321864 @default.
• W2763395989 hasLocation W27633959891 @default.
• W2763395989 hasLocation W27633959892 @default.
• W2763395989 hasLocation W27633959893 @default.
• W2763395989 hasOpenAccess W2763395989 @default.
• W2763395989 hasPrimaryLocation W27633959891 @default.
• W2763395989 hasRelatedWork W1496084514 @default.
• W2763395989 hasRelatedWork W1512888794 @default.

• next