Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Classifications (D.3.2) > Constraint And Logic Languages (D.3.2...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     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
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2025 ThinkLoud® Terms of Use | Privacy Policy