John H. ReppyCambridge University Press, 8/21/2008EAN 9780521714723, ISBN10: 0521714729Paperback, 328 pages, 25.4 x 17.8 x 1.9 cmLanguage: EnglishConcurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (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. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. 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.1. Introduction2. Concepts in concurrent programming3. An introduction to Concurrent ML4. CML programming techniques5. Synchronization and communication mechanisms6. The rationale for CML7. A software build system8. A concurrent window system9. A CML implementation of Linda10. Implementing concurrency in SML/NJAppendix 1. CML reference manualAppendix 2. The semantics of CML.
