Publisher's Synopsis
Considering the translation of functional languages for execution on parallel computers, this book focuses on the use of DACTL as a compiler target language for a parallel implementation of two dialects of Standard ML (SML). The two dialects used within this text are XSML and PSML; the former is SML with exception-handling redefined to permit parallelism and the general semantics modified to allow for parallel execution. PSML is XSML with all side-effects removed. The author considers graph rewrite systems and DACTL and the construction of a translator from PSML to DACTL. More advanced issues such as the application of strictness analysis, maximal free sub-expression elision and common sub-expression elimination to the DACTL translation are considered in detail.;In the final chapter the author summarizes the suitability of DACTL as a compiler target language interms of expressibility, resource control and performance. Proposals for imporvements to DACTL are presented and some possibilities for further research are discussed.
