UW logo

UW Constraint-Based Languages and Systems

Welcome to the home page for Constraints at the Department of Computer Science and Engineering, University of Washington.

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:


Papers

The following lists 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.


Other Information


quadrilateral demo image #1 quadrilateral demo image #2 quadrilateral demo image #3 quadrilateral demo image #4

Four screen snapshots of a constraint-based demonstration of a theorem about quadrilaterals. Applet.


borning@cs.washington.edu