Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
An Introduction to Communicating Haskell Processes

An Introduction to Communicating Haskell Processes

Ratings: (0)|Views: 78|Likes:
Published by Don Stewart
http://www.galois.com/~dons/talks/nb-chp-csp-mar-2010.pdf

Haskell is an excellent language for combining the power of functional programming with imperative constructs. This characteristic led to the development of the Communicating Haskell Processes (CHP) libraries, which support imperative synchronous message-passing in Haskell. The core ‘chp’ library provides basic message-passing, concurrency and choice, as well as integrated support for tracing. The ‘chp-plus’ library provides higher-level features such as process composition operators and behaviour combinators. This talk provides an introduction to the two libraries and the programming style they engender — as well as a brief look at the formal semantics underlying the libraries.
http://www.galois.com/~dons/talks/nb-chp-csp-mar-2010.pdf

Haskell is an excellent language for combining the power of functional programming with imperative constructs. This characteristic led to the development of the Communicating Haskell Processes (CHP) libraries, which support imperative synchronous message-passing in Haskell. The core ‘chp’ library provides basic message-passing, concurrency and choice, as well as integrated support for tracing. The ‘chp-plus’ library provides higher-level features such as process composition operators and behaviour combinators. This talk provides an introduction to the two libraries and the programming style they engender — as well as a brief look at the formal semantics underlying the libraries.

More info:

Published by: Don Stewart on Mar 15, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/13/2010

pdf

text

original

 
An Introduction ToCommunicating Haskell Processes(CHP)
Neil Brown
School of ComputingUniversity of KentUK
15 March 2010
 
What is CHP?
Communicating Haskell Processes:Imperativesynchronous message-passingconcurrencylibrary for Haskell.
 
Concurrency
versus
Parallelism
Concurrency
Using a different style ofprogramming
Parallelism
Getting performance fromparallel hardware

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->