?? http:^^www.cs.washington.edu^research^projects^weird^www^constraints.html
字號:
Date: Tue, 10 Dec 1996 22:28:41 GMTServer: NCSA/1.4.2Content-type: text/html<HEAD><TITLE>UW Constraint-Based Languages and Systems</TITLE></HEAD><body bgcolor="#ffffff" text="#000000"><H1>UW Constraint-Based Languages and Systems</H1>Welcome to the home page for Constraints at <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.washington.edu/">UW CSE</A>.<P> A constraint is a relation that should be satisfied; for example, that a lineremain horizontal, that a resistor in an electrical circuit simulationobey Ohm's Law, or that the height of a bar in a bar chart be proportionalto some number in an application program. Constraints have been used in avariety of languages and systems, particularly user interface toolkits,in planning and scheduling, and in simulation.<p>Our research is in several areas: <UL><LI>constraint imperative programming, in particular the Kaleidoscope language<LI>constraint logic programming, in particular the HCLP language scheme<LI>constraint hierarchies<LI>constraint solvers<LI>using constraints in user interface construction</UL><hr><h2>People</h2>Faculty:<UL><LI><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.washington.edu/homes/borning">Alan Borning</a>,<em>borning@cs.washington.edu</em></UL>Current Students:<UL><LI><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://weber.u.washington.edu/~hildrum">Kirsten Hildrum</a>,<em>hildrum@cs.washington.edu</em><LI><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.washington.edu/homes/lopez">Gus Lopez</a>,<em>lopez@cs.washington.edu</em><LI><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.washington.edu/homes/montgmry">AndyMontgomery</a>, <em>montgmry@cs.washington.edu</em></UL>Alumni:<UL><LI>Jeffrey Berg<LI>Scott Bradley<LI>Rob Duisberg<LI>Bjorn Freeman-Benson, <em>bnfb@oti.com</em><LI>Axel Kramer<LI>John Maloney<LI>Amy Martindale<LI>Sean McAteer, <em>smcateer@cs.washington.edu</em><LI>David Nagy-Farkas, <em>davidnf@cs.washington.edu</em><LI>Michael Sannella, <em>sannella@faline.bellcore.com</em><LI>Paul Williams<LI>Molly Ann Wilson<LI>Michael Woolf</UL><hr><H2>Papers</H2>The following list contains citations for recent papers. Click on a titleto go to that paper's page, containing an abstract and a link to thepostscript file.<P><h3>Constraint Imperative Programming</h3><UL><LI>Bjorn Freeman-Benson and Alan Borning, <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-iccl-92.html"> "The Design and Implementation ofKaleidoscope'90, A Constraint Imperative Programming Language"</a>,<em>Proceedings of the IEEE Computer Society 1992 International Conferenceon Computer Languages</em>, April 1992, pages 174-180.<LI>Bjorn Freeman-Benson and Alan Borning,<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-ecoop-92.html"> "Integrating Constraints with anObject-Oriented Language"</a>, Proceedings of the 1992 European Conferenceon Object-Oriented Programming, June 1992, pages 268-286.<LI>Gus Lopez, Bjorn Freeman-Benson, and Alan Borning, <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-asi.html"> "Kaleidoscope: A Constraint ImperativeProgramming Language"</a>, In <em>Constraint Programming</em>, B. Mayoh,E. Tougu, J. Penjam (Eds.), NATO Advanced Science Institute Series, SeriesF: Computer and System Sciences, Vol 131, Springer-Verlag, 1994, pages313-329.<LI>Gus Lopez, Bjorn Freeman-Benson, and Alan Borning,<!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-ecoop-94.html"> "Constraints and ObjectIdentity"</a>, Proceedings of the 1994 European Conference onObject-Oriented Programming, Bologna, Italy, July 1994, pages 260-279.<LI>Gus Lopez, Bjorn Freeman-Benson, and Alan Borning,<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-oopsla-94.html"> "Implementing Constraint ImperativeProgramming Languages: the Kaleidoscope'93 Virtual Machine"</a>,Proceedings of the 1994 ACM Conference on Object-Oriented ProgrammingSystems, Languages, and Applications, Portland, Oregon, October 1994, pages259-271.</UL><P><HR><h3>Hierarchical Constraint Logic Programming</h3><UL><LI>Alan Borning, Michael Maher, Amy Martindale, and Molly Wilson,<!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.washington.edu/research/projects/weird/www/hclp-iclp-89.html"> "Constraint Hierarchies and LogicProgramming"</a>, Proceedings of the Sixth International Logic ProgrammingConference, Lisbon, Portugal, June 1989, pages 149-164.<LI>Molly Wilson and Alan Borning, <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.washington.edu/research/projects/weird/www/extending-hclp-naclp-89.html">"Extending HCLP Languages: Nonmonotonicity and Inter-HierarchyComparison"</a>, Proceedings of the 1989 North American Logic Programming?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -