✦ LIBER ✦

Imperative functional programming

✍ Scribed by Reddy, U. S.

Book ID: 118161251
Publisher: Association for Computing Machinery
Year: 1996
Tongue: English
Weight: 296 KB
Volume: 28
Category: Article
ISSN: 0360-0300
DOI: 10.1145/234528.234736

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallelizing Imperative Functional Prog

Parallelizing Imperative Functional Programs: the Vectorization Monad

✍ JONATHAN M.D. HILL; KEITH M. CLARKE; RICHARD BORNAT 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 680 KB

Traditionally a vectorizing compiler matches the iterative constructs of a program against a set of predefined templates. If a loop contains no dependency cycles then a map template can be used; other simple dependencies can often be expressed in terms of fold or scan templates. This paper addresses

Blending imperative and relational progr

Blending imperative and relational programming

✍ Budd, T.A. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 926 KB

About classical logic and imperative pro

About classical logic and imperative programming

✍ Jean-Louis Krivine 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 500 KB

Imperative-program transformation by

✍ Søren Debois 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 484 KB

Algebraic Semantics of an Imperative Pro

Algebraic Semantics of an Imperative Programming Language

✍ A. V. Zamulin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

Imperative abstractions for functional a

Imperative abstractions for functional actions

✍ Walter Guttmann 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 513 KB