Matches in SemOpenAlex for { <https://semopenalex.org/work/W2471538120> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2471538120 endingPage "370" @default.
- W2471538120 startingPage "370" @default.
- W2471538120 abstract "In this paper we develop a general theory of program structure. We concentrate our study on the expressive power of collections of control structures. That is, given that a particular collections of control structures have implementations in a programming language, what other control structures necessarily have implementations in the language. For example, by a result of Case's it follows that from an implementation of composition one can build implementations of every other control structure. On the other hand, we develop a general technique to show, for example, that from implementations if-then-else and for-loop one cannot build an implementation of primitive recursion. (This holds true in the contexts programming languages for either the partial recursive or primitive recursive functions.) Furthermore, by a modification of the general technique we can construct a programming language which has implementations of every control structure and which has low complexity implementations of if-then-else and for-loop, but in which the only implementations of primitive recursion are arbitrarily complex. We also introduce several new sets of control structures S such that from implementations of the members of S one can build implementations of every other control structure and furthermore bound the complexity of these implementations in terms of the complexity of the implementations of the members of S." @default.
- W2471538120 created "2016-07-22" @default.
- W2471538120 creator A5039792453 @default.
- W2471538120 date "1984-01-01" @default.
- W2471538120 modified "2023-10-18" @default.
- W2471538120 title "A connotational theory of program structure (numberings, recursion, computation)" @default.
- W2471538120 hasPublicationYear "1984" @default.
- W2471538120 type Work @default.
- W2471538120 sameAs 2471538120 @default.
- W2471538120 citedByCount "0" @default.
- W2471538120 crossrefType "journal-article" @default.
- W2471538120 hasAuthorship W2471538120A5039792453 @default.
- W2471538120 hasConcept C162319229 @default.
- W2471538120 hasConcept C168773036 @default.
- W2471538120 hasConcept C199360897 @default.
- W2471538120 hasConcept C26713055 @default.
- W2471538120 hasConcept C41008148 @default.
- W2471538120 hasConcept C80444323 @default.
- W2471538120 hasConceptScore W2471538120C162319229 @default.
- W2471538120 hasConceptScore W2471538120C168773036 @default.
- W2471538120 hasConceptScore W2471538120C199360897 @default.
- W2471538120 hasConceptScore W2471538120C26713055 @default.
- W2471538120 hasConceptScore W2471538120C41008148 @default.
- W2471538120 hasConceptScore W2471538120C80444323 @default.
- W2471538120 hasLocation W24715381201 @default.
- W2471538120 hasOpenAccess W2471538120 @default.
- W2471538120 hasPrimaryLocation W24715381201 @default.
- W2471538120 hasRelatedWork W1529521296 @default.
- W2471538120 hasRelatedWork W2021519440 @default.
- W2471538120 hasRelatedWork W2024823088 @default.
- W2471538120 hasRelatedWork W2039139011 @default.
- W2471538120 hasRelatedWork W2085014646 @default.
- W2471538120 hasRelatedWork W2101225843 @default.
- W2471538120 hasRelatedWork W2114376769 @default.
- W2471538120 hasRelatedWork W2119897009 @default.
- W2471538120 hasRelatedWork W2130480853 @default.
- W2471538120 hasRelatedWork W2163101388 @default.
- W2471538120 hasRelatedWork W2495963165 @default.
- W2471538120 hasRelatedWork W2731085289 @default.
- W2471538120 hasRelatedWork W2889757060 @default.
- W2471538120 hasRelatedWork W2965263341 @default.
- W2471538120 hasRelatedWork W3005777145 @default.
- W2471538120 hasRelatedWork W3103318063 @default.
- W2471538120 hasRelatedWork W3115032872 @default.
- W2471538120 hasRelatedWork W3153601746 @default.
- W2471538120 hasRelatedWork W3185576101 @default.
- W2471538120 hasRelatedWork W883650713 @default.
- W2471538120 isParatext "false" @default.
- W2471538120 isRetracted "false" @default.
- W2471538120 magId "2471538120" @default.
- W2471538120 workType "article" @default.