Informal programsGrammarMental modelsWorking memoryThis article presents a theory of recursion in thinking and language. In the logic of computability, a function maps one or more sets to another, and it can have a recursive definition that is semi- circular, i.e., referring in part to the ...
Every running program has a call stack, and multithreaded programs have one call stack for each thread. But when you look at the source code for a program, you can't see the call stack in the code. The call stack isn't stored in a variable as other data structures are; it's ...
The ambiguity of the dangling else problem in Pascal leads to problems not only in parsing, but in writing and maintaining correct programs. Most Pascal programmers have at one time or another written a program like this one: if P <> nil then if P^.val = goal then foundIt := true ...
Most programmers in 1960 wrote mainly in assembler, and were accustomed to macro facilities. Because the parameter-passing mechanisms of Algol 60 are part of the language, rather than textual abbreviations, problems like misinterpreted precedence or naming conflicts do not arise. Side effects, however...
Transfinite recursion is an essential component of set theory. In this paper, we seek intrinsically justified reasons for believing in recursion and the no
ing of programs by binary trees of D. From now on, when the context is clear, we do not make any distinction between a program and its concrete syntax. And we make no distinction between programs and data. For convenience, we have a built-in self-interpreter exec n of WHILE + programs...
Becoming recursive: towards a computational neuroscience account of recursion in language and thought . In Recursion and human language (ed. Hulst H. v. d., editor. ), pp. 371–391 Berlin, Germany: de Gruyter MoutonLEVY, S.D.: Becoming Recursive: Toward a Computational Neuroscience Ac- ...
LEVY, S.D.: Becoming Recursive: Toward a Computational Neuroscience Ac- count of Recursion in Language and Thought. In: H. van der HULST (Ed.): Recursion and Human Language. Mouton de Gruyter. Berlin u.a. 2009Levy, S. D. 2010 Becoming recursive: Towards a computational neuroscience ...