𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Paths between imperative and functional programming

✍ Scribed by Ball, Thomas

Book ID
120615170
Publisher
Association for Computing Machinery
Year
1999
Weight
411 KB
Volume
34
Category
Article
ISSN
0362-1340

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Imperative functional programming
Imperative functional programming
✍ Reddy, U. S. πŸ“‚ Article πŸ“… 1996 πŸ› Association for Computing Machinery 🌐 English βš– 296 KB
Parmaβ€”bridging the performance gap betwe
Parmaβ€”bridging the performance gap between imperative and logic programming
✍ Andrew Taylor πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 677 KB

Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture [4]. It was the first logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper

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