Constraints Meet Concurrency

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Programming Languages, General Computing
Cover of the book Constraints Meet Concurrency by Jacopo Mauro, Atlantis Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Jacopo Mauro ISBN: 9789462390676
Publisher: Atlantis Press Publication: February 11, 2014
Imprint: Atlantis Press Language: English
Author: Jacopo Mauro
ISBN: 9789462390676
Publisher: Atlantis Press
Publication: February 11, 2014
Imprint: Atlantis Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Atlantis Press

Cover of the book Stability of Neutral Functional Differential Equations by Jacopo Mauro
Cover of the book Recent Progress in General Topology III by Jacopo Mauro
Cover of the book Logics in Computer Science by Jacopo Mauro
Cover of the book An Eternity of Roses by Jacopo Mauro
Cover of the book Lectures on the Mathematics of Quantum Mechanics I by Jacopo Mauro
Cover of the book Normal and Student´s t Distributions and Their Applications by Jacopo Mauro
Cover of the book Applied Mathematics by Jacopo Mauro
Cover of the book Stranded in New York by Jacopo Mauro
Cover of the book Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innovation by Jacopo Mauro
Cover of the book Ordinary Differential Equations and Dynamical Systems by Jacopo Mauro
Cover of the book Topics in Modern Differential Geometry by Jacopo Mauro
Cover of the book Modeling in Mathematics by Jacopo Mauro
Cover of the book Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015 by Jacopo Mauro
Cover of the book Lectures on the Mathematics of Quantum Mechanics II: Selected Topics by Jacopo Mauro
Cover of the book Scholarpedia of Touch by Jacopo Mauro
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy