Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010191256 | QA76.73.M6 R46 2007 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
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.
Table of Contents
| Preface |
| Legend |
| 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 A a CML reference |
| Appendix B the semantics of CML |
| Bibliography |
| Index |
