Directory: Top/Computers/Programming/Languages/Constraint

Top / Computers / Programming / Languages / Constraint /

GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces
Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed,
http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/plan22.html
Icot.or.jp ~ Site Info Whois Trace Route RBL Check

Constraint-based Languages and Environments for Building Interactive Systems
Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html
Ogi.edu ~ Site Info Whois Trace Route RBL Check

Pascal Van Hentenryck
Brown University, US. Some constraint papers.
http://www.cs.brown.edu/people/pvh/
Brown.edu ~ Site Info Whois Trace Route RBL Check

StarFLIP++
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
http://www.dbai.tuwien.ac.at/proj/StarFLIP/
Tuwien.ac.at ~ Site Info Whois Trace Route RBL Check

DeltaBlue: Benchmarking Java with Richards and DeltaBlue
Constraint solver benchmark, in Java; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, translated to many languages: C, C++, Java; Smalltalk. [Sun Microsystems Labs]
http://research.sun.com/people/mario/java_benchmarking/
Sun.com ~ Site Info Whois Trace Route RBL Check

Omega Project
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
http://www.cs.umd.edu/projects/omega/
Umd.edu ~ Site Info Whois Trace Route RBL Check

Constraints for the Web
Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author and
http://www.cs.washington.edu/research/constraints/web/mm97.dir/
Washington.edu ~ Site Info Whois Trace Route RBL Check

A Differential Approach to Graphical Interaction
The ad hoc manner in which direct manipulation interfaces have been designed and implemented restricts the types of interactive controls. This dissertation presents a new approach for a systematic method to implement flexible, combinable interactive cont
http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
Wisc.edu ~ Site Info Whois Trace Route RBL Check

Cassowary
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have val
http://www.cs.washington.edu/research/constraints/cassowary/
Washington.edu ~ Site Info Whois Trace Route RBL Check

Garnet Toolkit FAQ
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.
http://www.faqs.org/faqs/garnet-faq/
Faqs.org ~ Site Info Whois Trace Route RBL Check