Date: Tue, 10 Dec 1996 22:28:41 GMT Server: NCSA/1.4.2 Content-type: text/html UW Constraint-Based Languages and Systems

UW Constraint-Based Languages and Systems

Welcome to the home page for Constraints at UW CSE.

A constraint is a relation that should be satisfied; for example, that a line remain horizontal, that a resistor in an electrical circuit simulation obey Ohm's Law, or that the height of a bar in a bar chart be proportional to some number in an application program. Constraints have been used in a variety of languages and systems, particularly user interface toolkits, in planning and scheduling, and in simulation.

Our research is in several areas:


People

Faculty: Current Students: Alumni:

Papers

The following list contains citations for recent papers. Click on a title to go to that paper's page, containing an abstract and a link to the postscript file.

Constraint Imperative Programming


Hierarchical Constraint Logic Programming


Constraint Solvers


Theory of Constraint Hierarchies


Constraints and User Interfaces


Funding

This research is currently supported in part by two grants from the National Science Foundation: "Constraint-Based Languages and Environments for Building Interactive Systems", Grant No. IRI-9302249, Interactive Systems Program, and "Constraint Imperative Programming", Grant No. CCR-9402551, Programming Languages and Compilers Program. The work on constraint satisfaction algorithms and libraries is supported in part by Object Technology International.


Other Resources

We also maintain an anonymous ftp directory at UW on //ftp.cs.washington.edu/pub/constraints. The code subdirectory contains source code for various constraint solvers and systems, including DeltaBlue and SkyBlue. All this code is public domain. The ppcp94 subdirectory contains papers from the 1994 Principles and Practice of Constraint Programming Workshop. There is a papers subdirectory with research papers (but all of the papers are also listed in this WWW document, so don't bother). Finally, there is a drafts subdirectory, which sometimes contains preliminary drafts of papers.

For more general information on constraints, and links to lots of interesting stuff, see the Constraints Archive page.


borning@cs.washington.edu