Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149339737> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3149339737 endingPage "17" @default.
- W3149339737 startingPage "1" @default.
- W3149339737 abstract "This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective. Three cornerstones of computability theory are the S-m-ntheorem; Turing's universal machine; and Kleene's second recursion theorem. In today's programming language parlance these are respectively partial evaluation, self-interpretation, and reflection. In retrospect it is fascinating that Kleene's 1938 proof is constructive; and in essence builds a self-reproducing program. Computability theory originated in the 1930s, long before the invention of computers and programs. Its emphasis was on delimiting the boundaries of computability. Some milestones include 1936 (Turing), 1938 (Kleene), 1967 (isomorphism of programming languages), 1985 (partial evaluation), 1989 (theory implementation), 1993 (efficient self-interpretation) and 2006 (term register machines). The Swiss pocket knife of the title is a programming language that allows efficient computer implementation of all three computability cornerstones, emphasising the third: Kleene's second recursion theorem. We describe experiments with a tree-based computational model aiming for both fast program generation and fast execution of the generated programs." @default.
- W3149339737 created "2021-04-13" @default.
- W3149339737 creator A5002788784 @default.
- W3149339737 date "2013-09-19" @default.
- W3149339737 modified "2023-10-16" @default.
- W3149339737 title "A Swiss Pocket Knife for Computability" @default.
- W3149339737 cites W134691460 @default.
- W3149339737 cites W1488494826 @default.
- W3149339737 cites W1536001102 @default.
- W3149339737 cites W1570229558 @default.
- W3149339737 cites W1580999956 @default.
- W3149339737 cites W1974197627 @default.
- W3149339737 cites W2027321599 @default.
- W3149339737 cites W2036869460 @default.
- W3149339737 cites W2045255985 @default.
- W3149339737 cites W2073812497 @default.
- W3149339737 cites W2089442854 @default.
- W3149339737 cites W2095936846 @default.
- W3149339737 cites W2118516658 @default.
- W3149339737 cites W2118589925 @default.
- W3149339737 cites W2170267084 @default.
- W3149339737 cites W2572804059 @default.
- W3149339737 cites W4211147475 @default.
- W3149339737 cites W4230526846 @default.
- W3149339737 cites W4230678059 @default.
- W3149339737 doi "https://doi.org/10.4204/eptcs.129.1" @default.
- W3149339737 hasPublicationYear "2013" @default.
- W3149339737 type Work @default.
- W3149339737 sameAs 3149339737 @default.
- W3149339737 citedByCount "3" @default.
- W3149339737 countsByYear W31493397372017 @default.
- W3149339737 countsByYear W31493397372018 @default.
- W3149339737 countsByYear W31493397372021 @default.
- W3149339737 crossrefType "journal-article" @default.
- W3149339737 hasAuthorship W3149339737A5002788784 @default.
- W3149339737 hasBestOaLocation W31493397371 @default.
- W3149339737 hasConcept C111142201 @default.
- W3149339737 hasConcept C11413529 @default.
- W3149339737 hasConcept C152062344 @default.
- W3149339737 hasConcept C167729594 @default.
- W3149339737 hasConcept C168773036 @default.
- W3149339737 hasConcept C199360897 @default.
- W3149339737 hasConcept C24858836 @default.
- W3149339737 hasConcept C2524010 @default.
- W3149339737 hasConcept C2778701210 @default.
- W3149339737 hasConcept C29248071 @default.
- W3149339737 hasConcept C33923547 @default.
- W3149339737 hasConcept C35390924 @default.
- W3149339737 hasConcept C41008148 @default.
- W3149339737 hasConcept C45374587 @default.
- W3149339737 hasConcept C54271186 @default.
- W3149339737 hasConcept C80444323 @default.
- W3149339737 hasConcept C98045186 @default.
- W3149339737 hasConcept C9870796 @default.
- W3149339737 hasConceptScore W3149339737C111142201 @default.
- W3149339737 hasConceptScore W3149339737C11413529 @default.
- W3149339737 hasConceptScore W3149339737C152062344 @default.
- W3149339737 hasConceptScore W3149339737C167729594 @default.
- W3149339737 hasConceptScore W3149339737C168773036 @default.
- W3149339737 hasConceptScore W3149339737C199360897 @default.
- W3149339737 hasConceptScore W3149339737C24858836 @default.
- W3149339737 hasConceptScore W3149339737C2524010 @default.
- W3149339737 hasConceptScore W3149339737C2778701210 @default.
- W3149339737 hasConceptScore W3149339737C29248071 @default.
- W3149339737 hasConceptScore W3149339737C33923547 @default.
- W3149339737 hasConceptScore W3149339737C35390924 @default.
- W3149339737 hasConceptScore W3149339737C41008148 @default.
- W3149339737 hasConceptScore W3149339737C45374587 @default.
- W3149339737 hasConceptScore W3149339737C54271186 @default.
- W3149339737 hasConceptScore W3149339737C80444323 @default.
- W3149339737 hasConceptScore W3149339737C98045186 @default.
- W3149339737 hasConceptScore W3149339737C9870796 @default.
- W3149339737 hasLocation W31493397371 @default.
- W3149339737 hasLocation W31493397372 @default.
- W3149339737 hasLocation W31493397373 @default.
- W3149339737 hasLocation W31493397374 @default.
- W3149339737 hasOpenAccess W3149339737 @default.
- W3149339737 hasPrimaryLocation W31493397371 @default.
- W3149339737 hasRelatedWork W1532651989 @default.
- W3149339737 hasRelatedWork W1589207578 @default.
- W3149339737 hasRelatedWork W2031433925 @default.
- W3149339737 hasRelatedWork W2075033069 @default.
- W3149339737 hasRelatedWork W2132161762 @default.
- W3149339737 hasRelatedWork W2138384354 @default.
- W3149339737 hasRelatedWork W268899591 @default.
- W3149339737 hasRelatedWork W3149339737 @default.
- W3149339737 hasRelatedWork W3179375897 @default.
- W3149339737 hasRelatedWork W4290836450 @default.
- W3149339737 hasVolume "129" @default.
- W3149339737 isParatext "false" @default.
- W3149339737 isRetracted "false" @default.
- W3149339737 magId "3149339737" @default.
- W3149339737 workType "article" @default.