ML with Concurrency

Design, Analysis, Implementation, and Application

AvFlemming Nielson

Häftad, Engelska, 2011

Del i serien Monographs in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

739 kr

Beskrivning

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

Utgivningsdatum:2011-10-08
Mått:155 x 235 x 15 mm
Vikt:417 g
Format:Häftad
Språk:Engelska
Serie:Monographs in Computer Science
Antal sidor:255
Förlag:Springer-Verlag New York Inc.
ISBN:9781461274834

Utforska kategorier

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

Innehållsförteckning

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.

Mer från samma författare

Del 34

Two-Level Functional Languages

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

Häftad, 2005

885 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson

Inbunden, 1992

1 794 kr

Principles of Security and Trust

David Sands, Flemming Nielson

Häftad, 2020

647 kr

Principles of Security and Trust

David Sands, Flemming Nielson

Inbunden, 2020

719 kr

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Häftad, 2007

(1)

402 kr

Semantics with Applications: An Appetizer

Flemming Nielson, Hanne Riis Nielson

E-bok

2007

444 kr

Formal Methods

Flemming Nielson, Hanne Riis Nielson

Inbunden, 2019

628 kr

Formal Methods

Hanne Riis Nielson, Flemming Nielson

E-bok

2019

821 kr

Del 11426

Principles of Security and Trust

Flemming Nielson, David Sands

Häftad, 2019

572 kr

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

Inbunden, 1999

911 kr

Mer från samma serie

Selected Writings on Computing: A personal Perspective

Edsger W. Dijkstra

Häftad, 2011

1 476 kr

Software Configuration Management Using Vesta

Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu

Inbunden, 2006

1 136 kr

High Performance Discovery In Time Series

Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan

Inbunden, 2004

1 088 kr

Parsing Techniques

Dick Grune, Ceriel J.H. Jacobs

Inbunden, 2007

2 492 kr

Geometric Fundamentals of Robotics

J.M. Selig

Inbunden, 2004

1 104 kr

Evolutionary Synthesis of Pattern Recognition Systems

Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec

Inbunden, 2005

1 701 kr

Adapting Proofs-as-Programs

Iman Poernomo, John N. Crossley, Martin Wirsing

Inbunden, 2005

1 652 kr

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

Inbunden, 2004

1 652 kr

Reverse Engineering of Object Oriented Code

Paolo Tonella, Alessandra Potrich

Inbunden, 2004

1 136 kr

Numerical Geometry of Non-Rigid Shapes

Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel

Inbunden, 2008

829 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr