Concurrent Programming in ML

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. Concurrent Programming In Ml Presents The Language Concurrent Ml (cml), Which Supports The Union Of Two Important Programming Models: Concurrent Programming And Functional Programming. Cml Is An Extension Of The Functional Language Standard Ml (sml) And Is Included As Part Of The Standard Ml Of New Jersey (sml/nj) Distribution. Cml Supports The Programming Of Process Communication And Synchronization Using A Unique Higher-order Concurrent Programming Mechanism Which Allows Programmers To Define Their Own Communication And Synchronization Abstractions.--jacket. The Main Focus Of The Book Is On The Practical Use Of Concurrency To Implement Naturally Concurrent Applications. In Addition To A Tutorial Introduction To Programming In Cml, This Book Presents Three Extended Examples Of Using Cml For Systems Programming: A Parallel Software Build System, A Simple Concurrent Window Manager, And An Implementation Of Distributed Tuple Spaces.--book Jacket. This Book Is Aimed At Programmers And Professional Developers Who Want To Use Cml, As Well As Students, Faculty, And Other Researchers.--jacket. 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 -- App. A. A Cml Reference -- App. B. The Semantics Of Cml. John H. Reppy. Includes Bibliographical References (p. [293]-300) And Index.

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.

In addition to a tutorial introduction to programming in CML, Reppy 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. Concurrent programming is the task of writing programs consisting of multiple independent threads of control, called processes.