Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012093318> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2012093318 endingPage "496" @default.
- W2012093318 startingPage "490" @default.
- W2012093318 abstract "S OF PAPERS 373 P. BRAFFORT and D. FELDMAN, Some recursion-theoretic uses of the operator. It is well known that our data-processing systems are (approximate) realizations of formal constructive systems; this explains the existing intense interaction between such topics as recursive hierarchies and programming language primitives. In high level languages, the use of DO FOR or DO WHILE loops has been advocated against the more standard GO TO primitives. The main argument was the possibility of a clear structuration of programmes, especially useful for correctness-proving tentatives. On the other hand, the question has been raised of the exact power of a new primitive operator in IVERSON's programming language and notational system APL. This operator, O (read dequote ), has the effect of removing the quotes which delimit a string of characters, and then asking for execution of the resulting expression. For example, one has the following:" @default.
- W2012093318 created "2016-06-24" @default.
- W2012093318 creator A5031275468 @default.
- W2012093318 creator A5036424645 @default.
- W2012093318 creator A5078699560 @default.
- W2012093318 date "1968-10-01" @default.
- W2012093318 modified "2023-09-26" @default.
- W2012093318 title "Meeting of the Association for Symbolic Logic " @default.
- W2012093318 doi "https://doi.org/10.2307/2270367" @default.
- W2012093318 hasPublicationYear "1968" @default.
- W2012093318 type Work @default.
- W2012093318 sameAs 2012093318 @default.
- W2012093318 citedByCount "0" @default.
- W2012093318 crossrefType "journal-article" @default.
- W2012093318 hasAuthorship W2012093318A5031275468 @default.
- W2012093318 hasAuthorship W2012093318A5036424645 @default.
- W2012093318 hasAuthorship W2012093318A5078699560 @default.
- W2012093318 hasConcept C104317684 @default.
- W2012093318 hasConcept C146072743 @default.
- W2012093318 hasConcept C157486923 @default.
- W2012093318 hasConcept C158448853 @default.
- W2012093318 hasConcept C168773036 @default.
- W2012093318 hasConcept C17020691 @default.
- W2012093318 hasConcept C185592680 @default.
- W2012093318 hasConcept C195818886 @default.
- W2012093318 hasConcept C199360897 @default.
- W2012093318 hasConcept C2778701210 @default.
- W2012093318 hasConcept C33923547 @default.
- W2012093318 hasConcept C37914503 @default.
- W2012093318 hasConcept C41008148 @default.
- W2012093318 hasConcept C55439883 @default.
- W2012093318 hasConcept C55493867 @default.
- W2012093318 hasConcept C80444323 @default.
- W2012093318 hasConcept C86339819 @default.
- W2012093318 hasConcept C98045186 @default.
- W2012093318 hasConcept C98184364 @default.
- W2012093318 hasConceptScore W2012093318C104317684 @default.
- W2012093318 hasConceptScore W2012093318C146072743 @default.
- W2012093318 hasConceptScore W2012093318C157486923 @default.
- W2012093318 hasConceptScore W2012093318C158448853 @default.
- W2012093318 hasConceptScore W2012093318C168773036 @default.
- W2012093318 hasConceptScore W2012093318C17020691 @default.
- W2012093318 hasConceptScore W2012093318C185592680 @default.
- W2012093318 hasConceptScore W2012093318C195818886 @default.
- W2012093318 hasConceptScore W2012093318C199360897 @default.
- W2012093318 hasConceptScore W2012093318C2778701210 @default.
- W2012093318 hasConceptScore W2012093318C33923547 @default.
- W2012093318 hasConceptScore W2012093318C37914503 @default.
- W2012093318 hasConceptScore W2012093318C41008148 @default.
- W2012093318 hasConceptScore W2012093318C55439883 @default.
- W2012093318 hasConceptScore W2012093318C55493867 @default.
- W2012093318 hasConceptScore W2012093318C80444323 @default.
- W2012093318 hasConceptScore W2012093318C86339819 @default.
- W2012093318 hasConceptScore W2012093318C98045186 @default.
- W2012093318 hasConceptScore W2012093318C98184364 @default.
- W2012093318 hasIssue "03" @default.
- W2012093318 hasLocation W20120933181 @default.
- W2012093318 hasOpenAccess W2012093318 @default.
- W2012093318 hasPrimaryLocation W20120933181 @default.
- W2012093318 hasRelatedWork W1484873633 @default.
- W2012093318 hasRelatedWork W1604327066 @default.
- W2012093318 hasRelatedWork W1625481196 @default.
- W2012093318 hasRelatedWork W1764939356 @default.
- W2012093318 hasRelatedWork W1965765328 @default.
- W2012093318 hasRelatedWork W1988269017 @default.
- W2012093318 hasRelatedWork W1995157374 @default.
- W2012093318 hasRelatedWork W1997450068 @default.
- W2012093318 hasRelatedWork W2008113186 @default.
- W2012093318 hasRelatedWork W2051704846 @default.
- W2012093318 hasRelatedWork W2083686643 @default.
- W2012093318 hasRelatedWork W2101443478 @default.
- W2012093318 hasRelatedWork W2174460668 @default.
- W2012093318 hasRelatedWork W2289011483 @default.
- W2012093318 hasRelatedWork W2293528842 @default.
- W2012093318 hasRelatedWork W2294530123 @default.
- W2012093318 hasRelatedWork W2505239942 @default.
- W2012093318 hasRelatedWork W2530798984 @default.
- W2012093318 hasRelatedWork W2741834483 @default.
- W2012093318 hasRelatedWork W3091639623 @default.
- W2012093318 hasVolume "33" @default.
- W2012093318 isParatext "false" @default.
- W2012093318 isRetracted "false" @default.
- W2012093318 magId "2012093318" @default.
- W2012093318 workType "article" @default.