The Resource ML with Concurrency : Design, Analysis, Implementation, and Application, edited by Flemming Nielson, (electronic resource)

ML with Concurrency : Design, Analysis, Implementation, and Application, edited by Flemming Nielson, (electronic resource)

Label
ML with Concurrency : Design, Analysis, Implementation, and Application
Title
ML with Concurrency
Title remainder
Design, Analysis, Implementation, and Application
Statement of responsibility
edited by Flemming Nielson
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
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
Member of
Dewey number
005.1
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
X-J7Q0NlmtA
Image bit depth
0
Language note
English
LC call number
QA76.758
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Nielson, Flemming.
Series statement
Monographs in Computer Science,
http://library.link/vocab/subjectName
  • Software engineering
  • Information theory
  • Software Engineering/Programming and Operating Systems
  • Theory of Computation
Label
ML with Concurrency : Design, Analysis, Implementation, and Application, edited by Flemming Nielson, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
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
Dimensions
unknown
Edition
1st ed. 1997.
Extent
1 online resource (X, 255 p.)
File format
multiple file formats
Form of item
online
Isbn
9781461222743
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-1-4612-2274-3
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000089891
  • (SSID)ssj0000934550
  • (PQKBManifestationID)11574511
  • (PQKBTitleCode)TC0000934550
  • (PQKBWorkID)10910563
  • (PQKB)10073765
  • (DE-He213)978-1-4612-2274-3
  • (MiAaPQ)EBC3075691
  • (EXLCZ)993400000000089891
Label
ML with Concurrency : Design, Analysis, Implementation, and Application, edited by Flemming Nielson, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
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
Dimensions
unknown
Edition
1st ed. 1997.
Extent
1 online resource (X, 255 p.)
File format
multiple file formats
Form of item
online
Isbn
9781461222743
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-1-4612-2274-3
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000089891
  • (SSID)ssj0000934550
  • (PQKBManifestationID)11574511
  • (PQKBTitleCode)TC0000934550
  • (PQKBWorkID)10910563
  • (PQKB)10073765
  • (DE-He213)978-1-4612-2274-3
  • (MiAaPQ)EBC3075691
  • (EXLCZ)993400000000089891

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...