データフロー解析に基づく関数型言語 Valid の並列化コンパイラ

In this paper, we present a compiling method to translate a functional programming language Valid into an object code executable on a commercially available shared memory multiprocessor (a Sequent Symmetry S2000). Since the cost of process management is very high in such a machine, we exploit coarse... View More