Concurrent Programming in ML
Concurrent Programming in ML
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
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.
- Designed for self-study
- Presents extended examples of complete applications, in particular a Windows system
- Includes formal semantics of CML and CML tutorial and reference manual
Product details
January 2011Adobe eBook Reader
9780511887369
0 pages
0kg
41 b/w illus. 3 tables
This ISBN is for an eBook version which is distributed on our behalf by a third party.
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.
