Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028542428> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2028542428 abstract "It is well known that most questions of interest about the behavior of programs--such as equivalence, halting, optimization, and other problems--are undecidable. On the other hand, it is possible to make some or all of these questions decidable by introducing appropriate restrictions on the programming language under consideration. And once such restrictions are made, the next step is to ask how hard it is to solve these problems for programming languages for which they are decidable.This analysis of programming languages has been undertaken by others, in particular by Jones and Muchnick [4], who choose to restrict their programs to operate over finite memory. Our approach starts from the language of loop-programs, as defined by Meyer and Ritchie [1], in which we in fact allow more general arithmetical operations. Unlike Jones and Muchnick, we do not place any restriction on memory here; instead, we (primarily) restrict our attention to loop-programs without nested loops." @default.
- W2028542428 created "2016-06-24" @default.
- W2028542428 creator A5090898185 @default.
- W2028542428 date "1980-01-01" @default.
- W2028542428 modified "2023-09-26" @default.
- W2028542428 title "Analysis of simple programs over different sets of primitives" @default.
- W2028542428 cites W1978995933 @default.
- W2028542428 cites W1988826480 @default.
- W2028542428 cites W2072088733 @default.
- W2028542428 cites W2074674105 @default.
- W2028542428 cites W2134992721 @default.
- W2028542428 doi "https://doi.org/10.1145/567446.567452" @default.
- W2028542428 hasPublicationYear "1980" @default.
- W2028542428 type Work @default.
- W2028542428 sameAs 2028542428 @default.
- W2028542428 citedByCount "4" @default.
- W2028542428 crossrefType "proceedings-article" @default.
- W2028542428 hasAuthorship W2028542428A5090898185 @default.
- W2028542428 hasConcept C111472728 @default.
- W2028542428 hasConcept C112343008 @default.
- W2028542428 hasConcept C118615104 @default.
- W2028542428 hasConcept C137343475 @default.
- W2028542428 hasConcept C138885662 @default.
- W2028542428 hasConcept C153269930 @default.
- W2028542428 hasConcept C192034797 @default.
- W2028542428 hasConcept C199360897 @default.
- W2028542428 hasConcept C2780069185 @default.
- W2028542428 hasConcept C2780586882 @default.
- W2028542428 hasConcept C29248071 @default.
- W2028542428 hasConcept C33923547 @default.
- W2028542428 hasConcept C41008148 @default.
- W2028542428 hasConcept C45374587 @default.
- W2028542428 hasConcept C80444323 @default.
- W2028542428 hasConceptScore W2028542428C111472728 @default.
- W2028542428 hasConceptScore W2028542428C112343008 @default.
- W2028542428 hasConceptScore W2028542428C118615104 @default.
- W2028542428 hasConceptScore W2028542428C137343475 @default.
- W2028542428 hasConceptScore W2028542428C138885662 @default.
- W2028542428 hasConceptScore W2028542428C153269930 @default.
- W2028542428 hasConceptScore W2028542428C192034797 @default.
- W2028542428 hasConceptScore W2028542428C199360897 @default.
- W2028542428 hasConceptScore W2028542428C2780069185 @default.
- W2028542428 hasConceptScore W2028542428C2780586882 @default.
- W2028542428 hasConceptScore W2028542428C29248071 @default.
- W2028542428 hasConceptScore W2028542428C33923547 @default.
- W2028542428 hasConceptScore W2028542428C41008148 @default.
- W2028542428 hasConceptScore W2028542428C45374587 @default.
- W2028542428 hasConceptScore W2028542428C80444323 @default.
- W2028542428 hasLocation W20285424281 @default.
- W2028542428 hasOpenAccess W2028542428 @default.
- W2028542428 hasPrimaryLocation W20285424281 @default.
- W2028542428 hasRelatedWork W1022544700 @default.
- W2028542428 hasRelatedWork W113789952 @default.
- W2028542428 hasRelatedWork W117969524 @default.
- W2028542428 hasRelatedWork W1537699762 @default.
- W2028542428 hasRelatedWork W1548497223 @default.
- W2028542428 hasRelatedWork W195125011 @default.
- W2028542428 hasRelatedWork W1985456258 @default.
- W2028542428 hasRelatedWork W1988826480 @default.
- W2028542428 hasRelatedWork W2000118875 @default.
- W2028542428 hasRelatedWork W2048002431 @default.
- W2028542428 hasRelatedWork W2072088733 @default.
- W2028542428 hasRelatedWork W2153978214 @default.
- W2028542428 hasRelatedWork W2186197157 @default.
- W2028542428 hasRelatedWork W2402484263 @default.
- W2028542428 hasRelatedWork W2952388772 @default.
- W2028542428 hasRelatedWork W2964382522 @default.
- W2028542428 hasRelatedWork W2966447513 @default.
- W2028542428 hasRelatedWork W3022504692 @default.
- W2028542428 hasRelatedWork W77468147 @default.
- W2028542428 hasRelatedWork W82809743 @default.
- W2028542428 isParatext "false" @default.
- W2028542428 isRetracted "false" @default.
- W2028542428 magId "2028542428" @default.
- W2028542428 workType "article" @default.