Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068576411> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2068576411 abstract "The paper starts with the observation that in ALGOL 60 no specifications for formal procedure parameters are prescribed, whereas ALGOL 68 demands complete specifications. As a consequence, no ALGOL 68 program accepted by the compiler can have wrong parameter transmissions at run time whereas ALGOL 60 programs may have them. The property of ALGOL 60 programs to have only correct parameter transmissions obviously is undecidable if all data, conditional statements, etc. have to be taken into consideration (Theorem 1) and it is unfair to demand that the compiler should decide that property by a finite process. Therefore, we investigate this question of decidability under a much fairer condition, namely without taking into consideration any data or conditions and by giving all procedure calls occurring in the same block equal rights (Section IV, p. 123). Even this fairer problem turns out to be algorithmically unsolvable, in general (Theorem 5), but it is solvable as soon as the programs do not have global formal procedure parameters (Theorem 3). Analogous answers can be given to the problems of formal equivalence of programs and of formal reachability, formal recursivity, and strong formal recursivity of procedures (Theorems 8---11). Procedures which are not strongly formally recursive have great importance in compilation techniques as is shown in Section X." @default.
- W2068576411 created "2016-06-24" @default.
- W2068576411 creator A5035616157 @default.
- W2068576411 date "1973-01-01" @default.
- W2068576411 modified "2023-09-27" @default.
- W2068576411 title "On correct procedure parameter transmission in higher programming languages" @default.
- W2068576411 cites W1488652710 @default.
- W2068576411 cites W1518534214 @default.
- W2068576411 cites W187418701 @default.
- W2068576411 cites W1983644234 @default.
- W2068576411 cites W1990000958 @default.
- W2068576411 cites W2004749180 @default.
- W2068576411 cites W2083210058 @default.
- W2068576411 cites W2083916702 @default.
- W2068576411 cites W2104416102 @default.
- W2068576411 cites W2116976042 @default.
- W2068576411 cites W2156693129 @default.
- W2068576411 cites W2317593288 @default.
- W2068576411 cites W2538148032 @default.
- W2068576411 cites W2569098540 @default.
- W2068576411 cites W3022537579 @default.
- W2068576411 doi "https://doi.org/10.1007/bf00264026" @default.
- W2068576411 hasPublicationYear "1973" @default.
- W2068576411 type Work @default.
- W2068576411 sameAs 2068576411 @default.
- W2068576411 citedByCount "27" @default.
- W2068576411 countsByYear W20685764112013 @default.
- W2068576411 crossrefType "journal-article" @default.
- W2068576411 hasAuthorship W2068576411A5035616157 @default.
- W2068576411 hasBestOaLocation W20685764112 @default.
- W2068576411 hasConcept C11413529 @default.
- W2068576411 hasConcept C199305712 @default.
- W2068576411 hasConcept C199360897 @default.
- W2068576411 hasConcept C24858836 @default.
- W2068576411 hasConcept C33923547 @default.
- W2068576411 hasConcept C34165917 @default.
- W2068576411 hasConcept C41008148 @default.
- W2068576411 hasConcept C761482 @default.
- W2068576411 hasConcept C76155785 @default.
- W2068576411 hasConcept C80444323 @default.
- W2068576411 hasConceptScore W2068576411C11413529 @default.
- W2068576411 hasConceptScore W2068576411C199305712 @default.
- W2068576411 hasConceptScore W2068576411C199360897 @default.
- W2068576411 hasConceptScore W2068576411C24858836 @default.
- W2068576411 hasConceptScore W2068576411C33923547 @default.
- W2068576411 hasConceptScore W2068576411C34165917 @default.
- W2068576411 hasConceptScore W2068576411C41008148 @default.
- W2068576411 hasConceptScore W2068576411C761482 @default.
- W2068576411 hasConceptScore W2068576411C76155785 @default.
- W2068576411 hasConceptScore W2068576411C80444323 @default.
- W2068576411 hasIssue "2" @default.
- W2068576411 hasLocation W20685764111 @default.
- W2068576411 hasLocation W20685764112 @default.
- W2068576411 hasOpenAccess W2068576411 @default.
- W2068576411 hasPrimaryLocation W20685764111 @default.
- W2068576411 hasRelatedWork W1534969938 @default.
- W2068576411 hasRelatedWork W1607688932 @default.
- W2068576411 hasRelatedWork W1983346515 @default.
- W2068576411 hasRelatedWork W2023056990 @default.
- W2068576411 hasRelatedWork W2028284842 @default.
- W2068576411 hasRelatedWork W2032446387 @default.
- W2068576411 hasRelatedWork W2038371881 @default.
- W2068576411 hasRelatedWork W2058379074 @default.
- W2068576411 hasRelatedWork W2082343098 @default.
- W2068576411 hasRelatedWork W2351187484 @default.
- W2068576411 hasVolume "2" @default.
- W2068576411 isParatext "false" @default.
- W2068576411 isRetracted "false" @default.
- W2068576411 magId "2068576411" @default.
- W2068576411 workType "article" @default.