Concurrent constraint programming
β Saraswat V.A.
π Library
π
1993
π MIT
π English
β¦ LIBER β¦
π
Constraints Meet Concurrency
β Scribed by Jacopo Mauro (auth.)
- Publisher
- Atlantis Press
- Year
- 2014
- Tongue
- English
- Leaves
- 151
- Series
- Atlantis Studies in Computing 5
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language which make it Turing powerful are shown. Then a framework is proposed to solve constraint problems that is intended to be deployed on a concurrent system. For the development of this framework the concurrent language Jolie following the Service Oriented paradigm is used. Based on this experience, an extension to Service Oriented Languages is also proposed in order to overcome some of their limitations and to improve the development of concurrent applications.
β¦ Table of Contents
Front Matter....Pages i-xv
Introduction....Pages 1-3
Front Matter....Pages 5-5
Constraints....Pages 7-15
Concurrency....Pages 17-25
Front Matter....Pages 27-27
Constraint Handling Rules....Pages 29-36
Non Turing Powerful Fragments of CHR....Pages 37-48
Expressive Power of Priorities in CHR....Pages 49-66
Front Matter....Pages 67-67
Constraints in Clouds....Pages 69-76
A Classification-Based Approach to Manage a Solver Portfolio....Pages 77-93
Broadcast Messages in Jolie....Pages 95-109
Interruptible Request Responses in Jolie....Pages 111-126
Conclusions....Pages 127-129
Back Matter....Pages 131-148
β¦ Subjects
Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
π SIMILAR VOLUMES
Objects for Concurrent Constraint Progra
β Martin Henz (auth.)
π Library
π
1998
π Springer US
π English
<p>Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as
CONCUR 2004 -- Concurrency Theory
β Gardner P., Yoshida N.
π Library
π
2005
π English
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the
Meet The Meat
π Fiction
π
2014
Time-Constrained Transaction Management:
β Nandit R. Soparkar, Henry F. Korth, Abraham Silberschatz (auth.)
π Library
π
1996
π Springer US
π English
<p>Transaction processing is an established technique for the concurrent and faultΒ tolerant access of persistent data. While this technique has been successful in standard database systems, factors such as time-critical applications, emergΒ ing technologies, and a re-examination of existing systems
Recent Advances in Constraints: 12th Ann
β FranΓ§ois Fages, Francesca Rossi, Sylvain Soliman
π Library
π
2008
π Springer
π English
<P>This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007.</P> <P>The 10 revised full papers presented were ca