ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)

Nielson, Flemming [Editor]

ISBN 10: 0387948759 / ISBN 13: 9780387948751

Editore: Springer, 1996

Riguardo questo articolo

In shrink wrap. Looks like an interesting title!

Codice articolo Q-0387948759

Dati bibliografici

• Titolo: ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)
• Editore: Springer
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 0387948759
• ISBN 13: 9780387948751
• Rilegatura: Hardcover
• Condizione: New

Descrizione articolo

Riassunto

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.

Contenuti

Contents: The essence of concurrent ML. Concurrency in Poly/ML.- CCS programming in a ML Framework: an account of LCS.- Facile: from toy to tool.- A semantic theory for ML higher order concurrency primitives.- Communication analysis for concurrent ML.