Del i serien Monographs in Computer Science

ML with Concurrency

Design, Analysis, Implementation, and Application

Häftad, Engelska, 2011

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2011-10-08
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor255
FörlagSpringer-Verlag New York Inc.
ISBN9781461274834

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

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.

Du kanske också är intresserad av

Principles of Security and Trust

David Sands, Flemming Nielson

Häftad, 2020

839 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson

Inbunden, 1992

2 329 kr

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Häftad, 2007

519 kr

Trustworthy Global Computing

Christos Kaklamanis, Flemming Nielson

Häftad, 2009

739 kr

Principles of Security and Trust

David Sands, Flemming Nielson

Inbunden, 2020

939 kr

Del 11426

Principles of Security and Trust

Flemming Nielson, David Sands

Häftad, 2019

739 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen

Häftad, 2005

1 149 kr

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

Inbunden, 1999

1 189 kr

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Inbunden, 1999

2 019 kr

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

Häftad, 2010

849 kr

Del i serien Monographs in Computer Science

ML with Concurrency

Design, Analysis, Implementation, and Application

Häftad, Engelska, 2011

AvFlemming Nielson

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2011-10-08
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor255
FörlagSpringer-Verlag New York Inc.
ISBN9781461274834

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

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.