The Community for Technology Leaders
Green Image
<p>A compile-time analysis technique is developed to derive the probability with which auser-defined function or a supercombinator requires each one of its arguments. Thisprovides a basis for identifying useful speculative parallelism in a program. Theperformance of speculative evaluation is compared with that of lazy evaluation, and thenecessary conditions under which speculative evaluation performs better are identified.</p>
Index Termsfunctional programming; parallel languages; probability; speculative parallelism; functional languages; compile-time analysis technique; probability; user-defined function; supercombinator; speculative evaluation; lazy evaluation; performance; conservative parallelism; branch speculation; argument speculation; strictness analysis
V. Rajaraman, P.V.R. Murthy, "Implementation of Speculative Parallelism in Functional Languages", IEEE Transactions on Parallel & Distributed Systems, vol. 5, no. , pp. 1197-1205, November 1994, doi:10.1109/71.329669
90 ms
(Ver 3.3 (11022016))