ML with Concurrency: Design, Analysis, Implementation, and Application by Flemmi

Description: 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes Springer Book Archives Table of Contents 1 Introduction.- 2 The Essence of Concurrent ML.- 2.1 Introduction.- 2.2 The Fundamental Ideas.- 2.3 Overview of CML.- 2.4 The Semantics of Mini-CML.- 2.5 Events and Their Algebra.- 2.6 Expressiveness.- 2.7 Implementing Concurrency Abstractions in CML.- 2.8 Conclusions and Related Work.- 3 Concurrency in Poly/ML.- 3.1 Introduction.- 3.2 The Poly/ML Concurrency Primitives.- 3.3 The Uniprocessor Implementation.- 3.4 A Shared Memory Multiprocessor Implementation.- 3.5 The Development of a Distributed Implementation.- 3.5.1 Additional Primitives.- 3.6 Implementation on LEMMA.- 4 CCS Programming in an ML Framework: An Account of LCS.- 4.1 Introduction.- 4.2 Features of LCS.- 4.3 Typing Behavior Expressions.- 4.4 Operational Semantics.- 4.5 The Implementation Model.- 4.6 Conclusion.- 5 FACILE—From Toy to Tool.- 5.1 Introduction.- 5.2 Design and Development of FACILE.- 5.3 Language Features.- 5.4 Implementation.- 5.5 Applications.- 5.6 Conclusion.- 6 A Semantic Theory for ML Higher-Order Concurrency Primitives.- 6.1 Motivation and Background.- 6.2 Related Work.- 6.3 Informal Presentation.- 6.4 Static Semantics.- 6.5 Dynamic Semantics.- 6.6 Conclusion.- Appendix 6.A Semantic Functions.- Appendix 6.B Semantic Rules.- 7 Communication Analysis for Concurrent ML.- 7.1 Introduction.- 7.2 Extracting the Communication Topology.- 7.3 Semantics.- 7.4 Subject Reduction Property.- 7.5 Decidability Issues.- 7.6 Conclusion.- Appendix 7.A Syntactic Properties of the Typing System.- Appendix 7.B Semantic Properties of the Ordering.- Appendix 7.C Semantic Properties of the Typing System.- Appendix 7.D Decidability Issues Concerning the Orderings.- References. Promotional Springer Book Archives Long Description 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. Details ISBN1461274834 Short Title ML W/CONCURRENCY SOFTCOVER REP Series Monographs in Computer Science Language English ISBN-10 1461274834 ISBN-13 9781461274834 Media Book Format Paperback DEWEY 005.2 Year 2011 Publication Date 2011-10-08 Pages 255 Imprint Springer-Verlag New York Inc. Place of Publication New York, NY Country of Publication United States Edited by Flemming Nielson Subtitle Design, Analysis, Implementation, and Application Illustrations X, 255 p. DOI 10.1007/978-1-4612-2274-3 AU Release Date 2011-10-08 NZ Release Date 2011-10-08 US Release Date 2011-10-08 UK Release Date 2011-10-08 Author Flemming Nielson Publisher Springer-Verlag New York Inc. Edition Description Softcover reprint of the original 1st ed. 1997 Alternative 9780387948751 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96317898;

Price: 115.04 AUD

Location: Melbourne

End Time: 2024-12-06T14:34:20.000Z

Shipping Cost: 10.03 AUD