The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces

This publication has 9 references indexed in Scilit:

• Implementing constraint imperative programming languages
  ACM SIGPLAN Notices, 1994
• Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm
  Software: Practice and Experience, 1993
• A general framework for bidirectional translation between abstract and pictorial data
  ACM Transactions on Information Systems, 1992
• Constraint hierarchies
  Higher-Order and Symbolic Computation, 1992
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Garnet: comprehensive support for graphical, highly interactive user interfaces
  Computer, 1990
• An incremental constraint solver
  Communications of the ACM, 1990
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981
• Sketchpad
  Published by Association for Computing Machinery (ACM) ,1963