✦ LIBER ✦

Synthesis of parallel recursive programs in structural functional models

✍ Scribed by V. B. Novoseltsev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tail recursion transformation in functio

✍ Legalov, A. I.; Nepomnyaschy, O. V.; Matkovsky, I. V.; Kropacheva, M. S. 📂 Article 📅 2013 🏛 Allerton Press Inc 🌐 English ⚖ 120 KB

Optimizing structural recursion in funct

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

Formal verification of programs in the f

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

A Note on the Recursive and Parallel Str

✍ Georg Ch. Pflug; Ladislav Halada 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 104 KB

Synthesis of High-Performance Parallel P

✍ Baumgartner, G.; Auer, A.; Bernholdt, D.E.; Bibireata, A.; Choppella, V.; Cocior 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 528 KB

Automation of parallel programming in mo

✍ V. V. Pekunov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 164 KB