Primitive recursive program transformation
| Abstract | arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int(x) = int1(x,0), p(n,¤| ,... .ur. ¢(¤.vH(¤.¤,.~¤,) ..... 1 h(n.c¤| ..... ¤r)), w(n.y2l(n.¤l ,.... ul,) ...., y2r(n,a|,_,,¤l_))_.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesTang Yijie & Yan Xin (2008). The Contemporary Significance of Confucianism. Frontiers of Philosophy in China 3 (4):477 - 501.
Katalin Bimbó (2007). $LE^{T}{Rightarrow}$ , $LR^{Circ}{Wedgesim}$ , LK and Cutfree Proofs. Journal of Philosophical Logic 36 (5):557 - 570.
Peter J. Taylor (1994). Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304 - 310.
H. M. Malm (1989). Commodification or Compensation: A Reply to Ketchum. Hypatia 4 (3):128 - 135.
J. L. Schellenberg (2005). The Hiddenness Argument Revisited (II). Religious Studies 41 (3):287 - 303.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,381 of 549,010 )Recent downloads (6 months)6 ( #12,298 of 549,010 )How can I increase my downloads? |
My notes
Discussion
