Functional programming languages have been proposed to enhance the clarity of programs, to increase programmer productivity, and to reduce the difficulties of program verification. However, the lack of efficient implementation on conventional architectures prevents them from being widely accepted. This book presents an approach for solving this problem. A pipelined parallel reduction system has been developed on a multiprocessor system to realize hierarchical parallel processing. The correctness, reasonability and termination of the parallel execution can be guaranteed by enriching...