✦ LIBER ✦

Tail recursion transformation in functional dataflow parallel programs

✍ Scribed by Legalov, A. I.; Nepomnyaschy, O. V.; Matkovsky, I. V.; Kropacheva, M. S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimizing structural recursion in funct

✍ Peter J Thiemann 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 761 KB

Synthesis of parallel recursive programs

✍ V. B. Novoseltsev 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 196 KB

Parallelism Reduction Based on Pattern S

✍ Cudennec, Loïc; Sirdey, Renaud 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 225 KB

[Lecture Notes in Computer Science] Cent

✍ Horváth, Zoltán 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 497 KB

Formal verification of programs in the f

✍ Kropacheva, M. S.; Legalov, A. I. 📂 Article 📅 2013 🏛 Allerton Press Inc 🌐 English ⚖ 270 KB

Basic Results in Automatic Transformatio

✍ Yosi Ben-Asher; Esti Stein 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 178 KB