1 option
Constraints Meet Concurrency / by Jacopo Mauro.
Springer Nature - Springer Mathematics and Statistics (R0) eBooks 2014 English International Available online
View online- Format:
- Book
- Author/Creator:
- Mauro, Jacopo., Author.
- Series:
- Atlantis Studies in Computing, 2212-8565 ; 5
- Language:
- English
- Subjects (All):
- Compilers (Computer programs).
- Machine theory.
- Compilers and Interpreters.
- Formal Languages and Automata Theory.
- Local Subjects:
- Compilers and Interpreters.
- Formal Languages and Automata Theory.
- Physical Description:
- 1 online resource (151 pages) : illustrations.
- Edition:
- 1st ed. 2014.
- Place of Publication:
- Paris : Atlantis Press : Imprint: Atlantis Press, 2014.
- Language Note:
- English
- Summary:
- 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.
- Contents:
- Introduction
- Constraints
- Concurrency
- Constraint Handling Rules
- Non Turing powerful fragments of CHR
- Expressive power of priorities in CHR
- Constraints in Clouds
- A Classification-based Approach to Manage a Solver Portfolio
- Broadcast messages in Jolie
- Interruptible request responses in Jolie
- Conclusions
- References
- Proofs.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references at the end of each chapters.
- ISBN:
- 94-6239-067-3
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.