Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Classifications (D.3.2) > Constraint And Logic Languages (D.3.2...)  
  1-4 of 4 Reviews about "Constraint And Logic Languages (D.3.2...)": Date Reviewed
   Constraints meet concurrency
Mauro J., Atlantis Publishing Corporation, Paris, France, 2014. 170 pp.  Type: Book (978-9-462390-66-9)

Constraint-based execution and concurrency are valuable allies, but they are not natural ones. This book examines ways in which constraints and concurrency can be brought into harmony. The results reported show how constraints can be t...

Oct 1 2014
  An unfold/fold transformation framework for definite logic programs
Roychoudhury A., Kumar K., Ramakrishnan C., Ramakrishnan I. ACM Transactions on Programming Languages and Systems 26(3): 464-509, 2004.  Type: Article

Unfold/fold transformations have been studied for a number of years. They were initially applied to functional programs, and, later, in the work of Tamaki and Sato, to logic programs, which is the area of concern of this paper....

Aug 17 2004
  From datalog rules to efficient programs with time and space guarantees
Liu Y., Stoller S.  Principles and practice of declaritive programming (Proceedings of the 5th ACM SIGPLAN international conference, Uppsala, Sweden, Aug 27-29, 2003) 172-183, 2003.  Type: Proceedings

Database queries, model checking, and graph problems can be succinctly specified with relational rules, and then expressed with a rule-based language such as Datalog. This paper develops a method for automatic generation of efficient p...

Nov 17 2003
  Objects for concurrent constraint programming
Henz M., Kluwer Academic Publishers, Norwell, MA, 1998.  Type: Book (9780792380382)

Apparently, this book is a hastily prepared version of the author’s doctoral thesis, with all of the faults usually encountered in this all-too-common type of work....

Aug 1 1998
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy