An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 1, 1996, Pages 30-72

  Vander Zanden, Brad ^a,b  

^a UNIVERSITY OF TENNESSEE   (United States)

^b University of Tennessee Knoxville   (United States)

Author keywords

D.2.2 Software Engineering : Tools and Techniques user interfaces; D.2.6 Software Engineering : Programming Environments; I.1.2 Computing Methodologies : Algorithms nonalgebraic algorithms

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; PROBLEM SOLVING;

CONSTRAINT HIERARCHIES; INCREMENTAL ALGORITHM; MULTIWAY DATAFLOW CONSTRAINTS; ONE WAY DATAFLOW CONSTRAINTS; PROGRAMMING LANGUAGE QUICKPLAN;

CONSTRAINT THEORY;

EID: 0029706399     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/225540.225543     Document Type: Article

References (49)

1. ALPERN, B., HOOVER, R., ROSEN, B. K., SWEENEY, P. F., AND ZADECK, F. K. 1990. Incremental evaluation of computational circuits. In ACM SIGACT-SIAM'89 Conference on Discrete Algorithms. ACM, New York, 32-42.
2. BARTH, P. 1986. An object-oriented approach to graphical interfaces. ACM Trans. Graph. 5, 2 (Apr.), 142-172.
3. BORNING, A. 1981. The programming language aspects of Thinglab; A constraint-oriented simulation laboratory. ACM Trans. Program. Lang. Syst. 3, 4 (Oct.), 353-387.
4. BORNING, A. AND DUISBERG, R. 1986. Constraint-based tools for building user interfaces. ACM Trans. Graph. 5, 4 (Oct.), 345-374.
5. BORNING, A., DUISBERG, R., FREEMAN-BENSON, B., KRAMER, A., AND WOOLF, M. 1987. Constraint hierarchies. In OOPSLA'87 Conference Proceedings. ACM, New York, 48-60.
6. BORNING, A., FREEMAN-BENSON, B., AND WILSON, M. 1992. Constraint hierarchies. Lisp Symb. Comput. 5, 223-270.
7. BURNING, A., MAHER, M., MARTINDALE, A., AND WILSON, M. 1989. Constraint hierarchies and logic programming. In Proceedings of the 6th International Logic Programming Conference (Lisbon, Portugal). 149-164.
8. COHEN, J. 1990. Constraint logic programming languages. Commun. ACM 33, 1 (July), 52-68.
9. DENNIS, J., JR. AND SCHNABEL, R. 1983. Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice-Hall, Englewood Cliffs, N.J.
10. DINCBAS, M., HENTENRYCK, P. V., SIMONIS, H., AGGOUN, A., GRAF, T., AND BERTHEIR, F. 1988. The constraint logic programming language Chip. In Proceedings of the International Conference on Fifth Generation Computer Systems 1988. ICOT, Tokyo, 249-264.
11. DUISBERG R. 1986. Constraint-based animation: The implementation of temporal constraints in the Animus system. Ph.D. thesis, Dept. of Computer Science, Univ. of Washington, Seattle, Wash. Also available as Univ. of Washington Tech. Rep. 86-09-01.
12. FREEMAN-BENSON, B. N. 1990. Kaleidoscope: Mixing objects, constraints, and imperative programming. In OOPSLA/ECOOP'90 Conference Proceedings. ACM, New York, 77-88.
13. FREEMAN-BENSON, B. N., MALONEY, J., AND BORNING, A. 1990. An incremental constraint solver. Commun. ACM 33, 1 (Jan.), 54-63.
14. GANGNET, M. AND ROSENBERG, B. 1992. Constraint programming and graph algorithms. In the 2nd International Symposium on Artificial Intelligence and Mathematics.
15. GLEICHER, M. AND WITKIN, A. 1991. Differential manipulation. In Proceedings of Graphics Interface. 61-67.
16. GLEICHER, M. AND WITKIN, A. 1992. Through-the-lens camera control. Comput. Graph. 26, 331-340.
17. GOLUB, G. H. AND VAN LOAN, C. F. 1989. Matrix Computations, 2nd ed. The Johns Hopkins University Press, Baltimore, Md.
18. GOSLING, J. 1983. Algebraic constraints. Tech. Rep. CMU-CS-83-132, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, Pa.
19. HELM, R., HUYNH, T., LASSEZ, C., AND MARRIOTT, K. 1992. A linear constraint technology for interactive graphic systems. In Proceedings of Graphics Interface (Vancouver, Canada).
20. HENRY, T. R. AND HUDSON, S. E. 1988. Using active data in a uims. In the ACM SIGGRAPH Symposium on User Interface Software and Technology (Banff, Alberta, Canada). ACM, New York, 167-178.
21. HILL, R. D. 1993. The Rendezvous constraint maintenance system. In the ACM SIGGRAPH Symposium on User Interface Software and Technology (Atlanta, Ga.). ACM, New York, 225-234.
22. HILL, R. D., BRINCK, T., ROHALL, S. L., PATTERSON, J. F., AND WILNER, W. 1994. The Rendezvous architecture and language for constructing multiuser applications. ACM Trans. Comput. Hum. Interaction 1, 2 (June), 81-125.
23. HOOVER, R. 1987. Incremental graph evaluation. Ph.D. thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y.
24. HOOVER, R. 1992. Alphonse: Incremental computation as a programming abstraction. SIGPLAN Not. 27, 7 (July), 261-272.
25. HUDSON, S. E. 1991. Incremental attribute evaluation: A flexible algorithm for lazy update. ACM Trans. Program. Lang. Syst. 13, 3 (July), 315-341.
26. HUDSON, S. E. 1994. User interface specification using an enhanced spreadsheet model. ACM Trans. Graph. 13, 3 (July), 209-239.
27. HUYNH, T., LASSEZ, C., AND LASSEZ, J.-L. 1992. Practical issues on the projection of polyhedral sets. Ann. Math. Artif. Intell. 6, 295-316.
28. JAFFAR, J., MICHAYLOV, S., STUCKEY, P., AND YAP, R. 1992. The CLP(R) language and system. ACM Trans. Program. Lang. Syst. 14, 3 (July), 339-395.
29. LASSEZ, C. AND LASSEZ, J.-L. 1991. Quantifier elimination for conjunctions of linear constraints via a convex hull algorithm. Tech. Rep. Res. Rep. RC 16779, IBM.
30. LASSEZ, J.-L. AND MCALOON, K. 1992. A canonical form for generalized linear constraints. J. Symb. Comput. 13, 1 (Jan.).
31. MALONEY, J. H. 1991. Using constraints for user interface construction. Ph.D. thesis, Dept. of Computer Science and Engineering, Univ. of Washington, Seattle, Wash.
32. MYERS, B. A. 1990. Creating user interfaces using programming-by-example, visual programming and constraints. ACM Trans. Program. Lang. Syst. 12, 2 (Apr.), 143-177.
33. MYERS, B. A., GIUSE, D. A., DANNENBERG, R. B., VANDER ZANDEN, B., KOSBIE, D. S., PERVIN, E., MICMSH, A., AND MARCHAL, P. 1990. Garnet: Comprehensive support for graphical, highly-interactive user interfaces. IEEE Comput. 23, 11 (Nov.), 71-85.
34. REPS, T., TEITELBAUM, T., AND DEMERS, A. 1983. Incremental context-dependent analysis for language-based editors. ACM Trans. Program. Lang. Syst. 5, 3 (July), 449-477.
35. ROSENER, W. J. 1994. Integrating multi-way and structural constraints into spreadsheet programming. Ph.D. thesis, Dept. of Computer Science, Univ. of Tennessee, Knoxville, Tenn.
36. SANNELLA, M. 1994a. Constraint satisfaction and debugging for interactive user interfaces. Ph.D. thesis, Dept. of Computer Science and Engineering, Univ. of Washington, Seattle, Wash. Also available as Tech. Rep. 94-09-10.
37. SANNELLA, M. 1994b. Skyblue: A multi-way local propagation constraint solver for user interface construction. In the ACM SIGGRAPH Symposium on User Interface Software and Technology (Marina del Rey, Calif.). ACM, New York, 137-146.
38. SANNELLA, M. AND BORNING, A. 1992. Multi-Garnet: Integrating multi-way constraints with Garnet. Tech. Rep. 92-07-01, Dept. of Computer Science and Engineering, University of Wash., Seattle, Wash. Sept.
39. SANNELLA, M., MALONEY, J., FREEMAN-BENSON, B., AND BORNING, A. 1993. Multi-way versus one-way constraints in user interfaces: Experiences with the Deltablue algorithm. Softw. Pract. Exp. 23, 5, 529-566.
40. SARASWAT, V. A. 1989. Concurrent constraint programming languages. Ph.D. thesis, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa.
41. STEELE, G. L., JR. 1980. The definition and implementation of a computer programming language based on constraints. Ph.D. thesis, Dept. of Computer Science, MIT, Boston, Mass.
42. SUTHERLAND, I. E. 1963. Sketchpad: A man-machine graphical communication system. In the AFIPS Spring Joint Computer Conference. Vol. 23. AFIPS, Montvale, N.J., 329-346.
43. SZEKELY, P. A. AND MYERS, B. A. 1988. A user interface toolkit based on graphical objects and constraints. SIGPLAN Not. 23, 11 (Nov.), 36-45.
44. VANDER ZANDEN, B. 1988. Incremental constraint satisfaction and its application to graphical interfaces. Ph.D. thesis, Cornell Univ., Ithaca, N.Y.
45. VANDER ZANDEN, B. 1992. A domain independent algorithm for incrementally satisfying multi-way constraints. Tech. Rep. CS-92-160, Univ. of Tennessee, Knoxville, Tenn. July.
46. VANDER ZANDEN, B. 1995. An incremental algorithm for satisfying hierarchies of multi-way, dataflow constraints. Tech. Rep. CS-95-282, Computer Science Dept., Univ. of Tennessee, Knoxville, Tenn. Mar.
47. VANDER ZANDEN, B., MYERS, B. A., GIUSE, D., AND SZEKELY, P. 1994. Integrating pointer variables into one-way constraint models. ACM Trans. Comput. Hum. Interaction 1, 2 (June), 161-213.
48. WITKIN, A., GLEICHER, M., AND WELCH, W. 1990. Interactive dynamics. Comput. Graph. 24, 2 (Mar.), 11-22.
49. WITKIN, A. AND WELCH, W. 1990. Fast animation and control of nonrigid structures. Comput. Graph. 24, 243-252.