Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320232389> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4320232389 abstract "A novel model of reversible computing, the $aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does not require the accumulation of history data. Terms in the $aleph$-calculus, in combination with the program definitions, encapsulate all program state. An interpreter was also written." @default.
- W4320232389 created "2023-02-13" @default.
- W4320232389 creator A5087665744 @default.
- W4320232389 date "2022-06-13" @default.
- W4320232389 modified "2023-09-23" @default.
- W4320232389 title "The $aleph$-Calculus: A declarative model of reversible programming" @default.
- W4320232389 doi "https://doi.org/10.48550/arxiv.2206.05957" @default.
- W4320232389 hasPublicationYear "2022" @default.
- W4320232389 type Work @default.
- W4320232389 citedByCount "0" @default.
- W4320232389 crossrefType "posted-content" @default.
- W4320232389 hasAuthorship W4320232389A5087665744 @default.
- W4320232389 hasBestOaLocation W43202323891 @default.
- W4320232389 hasConcept C121332964 @default.
- W4320232389 hasConcept C122783720 @default.
- W4320232389 hasConcept C138885662 @default.
- W4320232389 hasConcept C154690210 @default.
- W4320232389 hasConcept C184337299 @default.
- W4320232389 hasConcept C199343813 @default.
- W4320232389 hasConcept C199360897 @default.
- W4320232389 hasConcept C27206212 @default.
- W4320232389 hasConcept C2777686260 @default.
- W4320232389 hasConcept C2781424814 @default.
- W4320232389 hasConcept C41008148 @default.
- W4320232389 hasConcept C61797465 @default.
- W4320232389 hasConcept C62520636 @default.
- W4320232389 hasConcept C71924100 @default.
- W4320232389 hasConceptScore W4320232389C121332964 @default.
- W4320232389 hasConceptScore W4320232389C122783720 @default.
- W4320232389 hasConceptScore W4320232389C138885662 @default.
- W4320232389 hasConceptScore W4320232389C154690210 @default.
- W4320232389 hasConceptScore W4320232389C184337299 @default.
- W4320232389 hasConceptScore W4320232389C199343813 @default.
- W4320232389 hasConceptScore W4320232389C199360897 @default.
- W4320232389 hasConceptScore W4320232389C27206212 @default.
- W4320232389 hasConceptScore W4320232389C2777686260 @default.
- W4320232389 hasConceptScore W4320232389C2781424814 @default.
- W4320232389 hasConceptScore W4320232389C41008148 @default.
- W4320232389 hasConceptScore W4320232389C61797465 @default.
- W4320232389 hasConceptScore W4320232389C62520636 @default.
- W4320232389 hasConceptScore W4320232389C71924100 @default.
- W4320232389 hasLocation W43202323891 @default.
- W4320232389 hasOpenAccess W4320232389 @default.
- W4320232389 hasPrimaryLocation W43202323891 @default.
- W4320232389 hasRelatedWork W1166693715 @default.
- W4320232389 hasRelatedWork W1965681098 @default.
- W4320232389 hasRelatedWork W1981830522 @default.
- W4320232389 hasRelatedWork W2018297885 @default.
- W4320232389 hasRelatedWork W2030762481 @default.
- W4320232389 hasRelatedWork W2099080307 @default.
- W4320232389 hasRelatedWork W2998595860 @default.
- W4320232389 hasRelatedWork W335485029 @default.
- W4320232389 hasRelatedWork W4232504361 @default.
- W4320232389 hasRelatedWork W4245681215 @default.
- W4320232389 isParatext "false" @default.
- W4320232389 isRetracted "false" @default.
- W4320232389 workType "article" @default.