Browse All Reviews
Programming Languages (D.3)
Language Classifications (D.3.2)
> Constraint And Logic Languages (D.3.2...)
All Media Types
1-10 of 20 Reviews about "
Constraint And Logic Languages (D.3.2...)
A devil’s advocate against termination of direct recursion
Frühwirth T. PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 103-113, 2015. Type: Proceedings
A totally correct system terminates. Instead of establishing termination directly, this paper describes a technique based on non-termination. This technique is statically derivable from the program text and produces non-termination results that ar...
Aug 12 2015
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 trimmed for p...
Oct 1 2014
Disambiguating aspect-oriented security policies
Jones M., Hamlen K. AOSD 2010 (Proceedings of the 8th International Conference on Aspect-Oriented Software Development, Rennes and Saint-Malo, France, Mar 15-19, 2010) 193-204, 2010. Type: Proceedings
The aspect-oriented programming paradigm provides an elegant way of modularizing crosscutting concerns of a software system. A crosscutting concern is one whose implementation is scattered throughout the implementation of many other concerns withi...
Aug 5 2010
Policy technologies for self-managing systems
Agrawal D., Calo S., Lee K., Lobo J., Verma D., IBM Press, Upper Saddle River, NJ, 2008. 240 pp. Type: Book
Managing an information technology (IT) infrastructure is a labor-intensive task for which not enough skilled people are available. The idea is to make those IT systems autonomous, shifting the operational decision making from the people to the te...
Aug 24 2009
Maintaining constraint-based applications
Nordlander T., Freuder E., Wallace R. Knowledge capture (Proceedings of the 4th International Conference on Knowledge Capture, Whistler, BC, Canada, Oct 28-31, 2007) 79-86, 2007. Type: Proceedings
No one believes that maintaining knowledge-based applications is easy, but perhaps it could be made less difficult. With the aid of screen shots, Nordlander, Freuder, and Wallace describe how an end user can modify, delete, and add constraint rule...
Jun 10 2008
-calculus of explicit constraint application
Cirstea H., Faure G., Kirchner C. Higher-Order and Symbolic Computation 20(1-2): 37-72, 2007. Type: Article
Computability became a subject of intensive research between 1930 and 1940, and led to various mathematical models, developed more or less independently, that capture in a nutshell the essence of performing computations mechanically. These models ...
Jan 25 2008
Logic programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science 4079)
Etalle S., Truszczynski M., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 474 pp. Type: Book (9783540366355)
For quite a few years now, logic programming has given the impression of a solution looking for an answer. There is something of this in this conference proceedings volume. There are a fair number of contributions from people who have long been pu...
Oct 16 2007
Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 2005 (Lecture Notes in Artificial Intelligence 3978)
Hnich B., Carlsson M., Fages F., Dechter R., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 179 pp. Type: Book (9783540342151)
The concept of constraint processing, as addressed by this book, includes global constraints (three papers), search and heuristics (four papers), language and implementation issues (two papers), and modeling (three papers). A remarkable editing jo...
Apr 17 2007
Soft concurrent constraint programming
Bistarelli S., Montanari U., Dechter R. ACM Transactions on Computational Logic 7(3): 563-589, 2006. Type: Article, Reviews: (2 of 2)
Constraint-oriented programming specifies relations between variables and leaves it to the language runtime system to satisfy the relations. Concurrent constraint systems merge constraint-oriented programming with blackboard-style data distributio...
Nov 17 2006
Soft concurrent constraint programming
Bistarelli S., Montanari U., Dechter R. ACM Transactions on Computational Logic 7(3): 563-589, 2006. Type: Article, Reviews: (1 of 2)
Soft constraints extend classical constraints, represent multiple consistency levels, and provide a way to express preferences, fuzziness, and uncertainty. This paper addresses a concurrent programming framework where soft constraints can be handl...
Sep 25 2006
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.