Concurrent Programming in ML

by John H. Reppy

Overview

Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This practical, "how-to" book focuses on the use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in CML, the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

Product Details

ISBN-13:	9780521714723
Publisher:	Cambridge University Press
Publication date:	09/14/2007
Edition description:	New Edition
Pages:	328
Product dimensions:	7.01(w) x 10.00(h) x 0.71(d)

Table of Contents

1. Introduction; 2. Concepts in concurrent programming; 3. An introduction to Concurrent ML; 4. CML programming techniques; 5. Synchronization and communication mechanisms; 6. The rationale for CML; 7. A software build system; 8. A concurrent window system; 9. A CML implementation of Linda; 10. Implementing concurrency in SML/NJ; Appendix 1. CML reference manual; Appendix 2. The semantics of CML.