DeltaStar: a general algorithm for incremental satisfaction of constraint hierarchies

The DeltaStar incremental algorithm for solving constraint hierarchies, which was developed as part of a continuing investigation on the design and implementation of constraint programming languages, is described. DeltaStar is a framework for incremental solvers built above an existing flat solver that provides the constraint solving techniques. By plugging different flat solvers into DeltaStar, different hierarchical solvers can quickly be produced and experimented with. Two implementations of DeltaStar, as well as previous algorithms that can be viewed as instances of DeltaStar, are discussed.<<ETX>>

[1]  A. Borning,et al.  Constraint technology for user-interface construction in ThingLab II , 1989, OOPSLA 1989.

[2]  David Garlan,et al.  Melding Software Systems from Reusable Building Blocks , 1987, IEEE Software.

[3]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[4]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[5]  R. S. Sundaresh,et al.  Building incremental programs using partial evaluation , 1991, PEPM '91.

[6]  Bjørn N. Freeman-Benson,et al.  Constraint hierarchies , 1987, OOPSLA '87.

[7]  B.N. Freeman-Benson,et al.  The DeltaBlue algorithm: an incremental constraint hierarchy solver , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

[8]  Michael J. Maher,et al.  Constraint Hierarchies and Logic Programming , 1989, ICLP.

[9]  永井 保夫,et al.  Constraint Programming Languages; Their Specification and Generation, Wm Leler, Addison-Wesley, 1988 ( 制約論理プログラミング) , 1992 .

[10]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[11]  Pascal Van Hentenryck.  Incremental Constraint Satisfaction in Logic Programming , 1990, ICLP.

[12]  R. S. Sundaresh.  Building incremental programs using partial evaluation , 1991 .

[13]  Ellis S. Cohen,et al.  Constraint-Based Tiled Windows , 1986, IEEE Computer Graphics and Applications.

[14]  B. Myers.  Creating dynamic interaction techniques by demonstration , 1987, CHI '87.

[15]  Brad A. Myers,et al.  Automatic, look-and-feel independent dialog creation for graphical user interfaces , 1990, CHI '90.

[16]  Alan Borning,et al.  Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison , 1989, NACLP.

[17]  Bjørn N. Freeman-Benson,et al.  Constraint Hierarchies , 1992, LISP Symb. Comput..

[18]  Bjørn N. Freeman-Benson,et al.  Kaleidoscope: mixing objects, constraints, and imperative programming , 1990, OOPSLA/ECOOP '90.

[19]  Dan R. Olsen,et al.  Creating interactive techniques by symbolically solving geometric constraints , 1990, UIST '90.

[20]  Wilf R. LaLonde,et al.  A smalltalk window system based on constraints , 1988, OOPSLA 1988.