Ml With Concurrency: Design, Analysis, Implementation, and Application - Rilegato

 
9780387948751: Ml With Concurrency: Design, Analysis, Implementation, and Application

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781461274834: ML with Concurrency: Design, Analysis, Implementation, and Application

Edizione in evidenza

ISBN 10:  1461274834 ISBN 13:  9781461274834
Casa editrice: Springer, 2011
Brossura