ML with Concurrency by Flemming Nielson

ML with Concurrency by Flemming Nielson

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.

Flemming Nielson and Hanne Riis Nielson are full professors at the Technical University of Denmark (DTU), where they research formal methods for safe and secure systems in the Dept. of Applied Mathematics and Computer Science. They have written successful textbooks, including the Springer titles Semantics with Applications: An Appetizer and Principles of Program Analysis, and they have lectured on these topics at Aalborg University, Aarhus University, the University of Kiel, Saarland University, and the Technical University of Denmark.

SKU	Unavailable
ISBN 13	9781461274834
ISBN 10	1461274834
Title	ML with Concurrency
Author	Flemming Nielson
Series	Monographs In Computer Science
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer-Verlag New York Inc.
Year published	2011-10-08
Number of pages	255
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.