FRINK Linked Data Fragments server

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

• W2127822433 abstract "In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene's Recursion Theorem (krt). In a programming system in which krt holds, for any preassigned, algorithmic task, there exists a program that, in a sense, creates a copy of itself, and then performs that task using the self-copy. Interpreted in this way, such self-copying programs have usable self-knowledge. Herein, properties complementary to krt are considered. Of particular interest are those properties involving the implementation of control structures. One main result is that no property involving the implementation of denotational control structures is complementary to krt. This is in contrast to a result of Royer, which showed that implementation of if-then-else — a denotational control structure — is complementary to the constructive form of Kleene's Recursion Theorem. Examples of non-denotational control structures whose implementation is complementary to krt are then given. Some such control structures so nearly resemble denotational control structures that they might be called quasi-denotational." @default.
• W2127822433 created "2016-06-24" @default.
• W2127822433 creator A5035681422 @default.
• W2127822433 creator A5050068098 @default.
• W2127822433 date "2011-01-01" @default.
• W2127822433 modified "2023-09-26" @default.
• W2127822433 title "Properties Complementary to Program Self-Reference" @default.
• W2127822433 cites W139343445 @default.
• W2127822433 cites W1488494826 @default.
• W2127822433 cites W1498102178 @default.
• W2127822433 cites W1498614655 @default.
• W2127822433 cites W1511668635 @default.
• W2127822433 cites W1533976297 @default.
• W2127822433 cites W1579083493 @default.
• W2127822433 cites W1579433101 @default.
• W2127822433 cites W1590000405 @default.
• W2127822433 cites W1691853977 @default.
• W2127822433 cites W1962674228 @default.
• W2127822433 cites W1963780006 @default.
• W2127822433 cites W1968738492 @default.
• W2127822433 cites W1998555378 @default.
• W2127822433 cites W2002183962 @default.
• W2127822433 cites W2007270285 @default.
• W2127822433 cites W2022959407 @default.
• W2127822433 cites W2024609530 @default.
• W2127822433 cites W2035004935 @default.
• W2127822433 cites W2036869460 @default.
• W2127822433 cites W2038703620 @default.
• W2127822433 cites W2041249678 @default.
• W2127822433 cites W2060162960 @default.
• W2127822433 cites W2087869015 @default.
• W2127822433 cites W2089442854 @default.
• W2127822433 cites W2095936846 @default.
• W2127822433 cites W2117832390 @default.
• W2127822433 cites W2118589925 @default.
• W2127822433 cites W2166329216 @default.
• W2127822433 cites W2321664493 @default.
• W2127822433 cites W2530006810 @default.
• W2127822433 doi "https://doi.org/10.3233/fi-2011-564" @default.
• W2127822433 hasPublicationYear "2011" @default.
• W2127822433 type Work @default.
• W2127822433 sameAs 2127822433 @default.
• W2127822433 citedByCount "0" @default.
• W2127822433 crossrefType "journal-article" @default.
• W2127822433 hasAuthorship W2127822433A5035681422 @default.
• W2127822433 hasAuthorship W2127822433A5050068098 @default.
• W2127822433 hasConcept C111472728 @default.
• W2127822433 hasConcept C118615104 @default.
• W2127822433 hasConcept C136119220 @default.
• W2127822433 hasConcept C136764020 @default.
• W2127822433 hasConcept C138885662 @default.
• W2127822433 hasConcept C152062344 @default.
• W2127822433 hasConcept C156325763 @default.
• W2127822433 hasConcept C162324750 @default.
• W2127822433 hasConcept C168773036 @default.
• W2127822433 hasConcept C184337299 @default.
• W2127822433 hasConcept C187736073 @default.
• W2127822433 hasConcept C189950617 @default.
• W2127822433 hasConcept C199360897 @default.
• W2127822433 hasConcept C202444582 @default.
• W2127822433 hasConcept C207648694 @default.
• W2127822433 hasConcept C2778701210 @default.
• W2127822433 hasConcept C2780451532 @default.
• W2127822433 hasConcept C2780615836 @default.
• W2127822433 hasConcept C33923547 @default.
• W2127822433 hasConcept C41008148 @default.
• W2127822433 hasConcept C89448276 @default.
• W2127822433 hasConcept C98045186 @default.
• W2127822433 hasConceptScore W2127822433C111472728 @default.
• W2127822433 hasConceptScore W2127822433C118615104 @default.
• W2127822433 hasConceptScore W2127822433C136119220 @default.
• W2127822433 hasConceptScore W2127822433C136764020 @default.
• W2127822433 hasConceptScore W2127822433C138885662 @default.
• W2127822433 hasConceptScore W2127822433C152062344 @default.
• W2127822433 hasConceptScore W2127822433C156325763 @default.
• W2127822433 hasConceptScore W2127822433C162324750 @default.
• W2127822433 hasConceptScore W2127822433C168773036 @default.
• W2127822433 hasConceptScore W2127822433C184337299 @default.
• W2127822433 hasConceptScore W2127822433C187736073 @default.
• W2127822433 hasConceptScore W2127822433C189950617 @default.
• W2127822433 hasConceptScore W2127822433C199360897 @default.
• W2127822433 hasConceptScore W2127822433C202444582 @default.
• W2127822433 hasConceptScore W2127822433C207648694 @default.
• W2127822433 hasConceptScore W2127822433C2778701210 @default.
• W2127822433 hasConceptScore W2127822433C2780451532 @default.
• W2127822433 hasConceptScore W2127822433C2780615836 @default.
• W2127822433 hasConceptScore W2127822433C33923547 @default.
• W2127822433 hasConceptScore W2127822433C41008148 @default.
• W2127822433 hasConceptScore W2127822433C89448276 @default.
• W2127822433 hasConceptScore W2127822433C98045186 @default.
• W2127822433 hasLocation W21278224331 @default.
• W2127822433 hasOpenAccess W2127822433 @default.
• W2127822433 hasPrimaryLocation W21278224331 @default.
• W2127822433 hasRelatedWork W100825583 @default.
• W2127822433 hasRelatedWork W1477170694 @default.
• W2127822433 hasRelatedWork W1501262406 @default.
• W2127822433 hasRelatedWork W1523144187 @default.
• W2127822433 hasRelatedWork W1548497223 @default.
• W2127822433 hasRelatedWork W1599578423 @default.
• W2127822433 hasRelatedWork W163415978 @default.

• next