Cambridge Catalogue  
  • Your account
  • View basket
  • Help
Home > Catalogue > Concurrent Programming in ML
Concurrent Programming in ML
Google Book Search

Search this book


  • 41 b/w illus. 3 tables
  • Page extent: 328 pages
  • Size: 253 x 177 mm
  • Weight: 0.57 kg
Add to basket


 (ISBN-13: 9780521714723)

Manufactured on demand: supplied direct from the printer

 (Stock level updated: 02:09 GMT, 28 November 2015)


Concurrent 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.

• 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


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.

printer iconPrinter friendly version AddThis