Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits

ACM Transactions on Programming Languages and Systems

Volumn 23, Issue 6, 2001, Pages 776-796

  Zanden, Bradley T Vander ^a   Halterman, Richard ^b   Myers, Brad A ^c   McDaniel, Rich ^c   Miller, Rob ^c   Szekely, Pedro ^d   Giuse, Dario A ^e   Kosbie, David ^f  

^a University of Tennessee Knoxville   (United States)

^b SOUTHERN ADVENTIST UNIVERSITY   (United States)

^c Carnegie Mellon University   (United States)

^d UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^e VANDERBILT UNIVERSITY   (United States)

^f Sewickley Valley Hospital   (United States)

Author keywords

D.2.2 Software Engineering : Design Tools and Techniques user interfaces; D.2.6 Software Engineering : Programming Environments graphical

Indexed keywords

EID: 0038843643     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/506315.506318     Document Type: Article

References (32)

1. ALPERN, B., HOOVER, R., ROSEN, B. K., SWEENEY, P. F., AND ZADECK, F. K. 1990. Incremental evaluation of computational circuits. In Proceedings of the ACM SIGACT-SIAM'89 Conference on Discrete Algorithms. ACM, New York, NY, 32-42.
2. BARTH, P. 1986. An object-oriented approach to graphical interfaces. ACM Trans Graphics 5, 2 (Apr.), 142-172.
3. BURNING, A. 1981. The programming language aspects of ThingLab; a constraint-oriented simulation laboratory. ACM Trans. Program. Lang. Syst. 3, 4 (Oct), 353-387.
4. DEMERS, A., REPS, T., AND TEITELBAUM, T. 1981. Incremental evaluation for attribute grammars with application to syntax-directed editors. In Proceedings of the Principles of Programming Languages Conference (Williamsburg, VA), 105-116.
5. HALTERMAN, R. AND VANDER ZANDEN, B. 1998. Using model dataflow graphs to reduce the storage requirements of constraints. Tech. Rep. UT-CS-98-413, Univ. of Tennessee. Dec.
6. HENRY, T. R. AND HUDSON, S. E. 1988. Using active data in a UIMS. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'88, Banff Alberta, Canada). ACM, New York, NY, 167-178.
7. HILL, R. D. 1993. The Rendezvous constraint maintenance system. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'93 Atlanta GA). ACM, New York, NY, 225-234.
8. 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, 81-125.
9. HOOVER, R. 1987. Incremental graph evaluation. Ph.D. thesis, Dept. of Computer Science, Cornell Univ., Ithaca, NY.
10. HOOVER, R. 1992. Alphonse: Incremental computation as a programming abstraction SIGPLAN Not. 27, 1 (July), 261-272.
11. HUDSON, S. AND KING, R. 1988. Semantic feedback in the Higgens UIMS. IEEE Trans Softw Eng. 14, 8 (Aug.), 1188-1206.
12. HUDSON, S. E. 1991. Incremental attribute evaluation: A flexible algorithm for lazy update. ACM Trans. Program. Lang. Syst. 13, 3 (July), 315-341.
13. HUDSON, S. E. 1993. A system for efficient and flexible one-way constraint evaluation in C++. Tech. Rep. 93-15, Graphics Visualizaton and Usability Center, College of Computing, Georgia Institute of Technology. April.
14. HUDSON, S. E. 1994. User interface specification using an enhanced spreadsheet model. ACM Trans. Graphics 13, 3 (July), 209-239.
15. HUDSON, S. E. AND SMITH, I. 1996. Ultra-lightweight constraints. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'96 Seattle WA) ACM, New York, NY, 147-155.
16. KNUTH, D. 1968. Semantics of context-free languages. Math. Syst. Theor. 2, 127-145.
17. LIU, Y. A., STOLLER, S. D., AND TEITELBAUM, T. 1998. Static caching for incremental computation. ACM Trans. Program. Lang. Syst. 20, 3 (May), 546-585.
18. MYERS, B. A. 1990a. Creating user interfaces using programming-by-example, visual programming, and constraints. ACM Trans. Program. Lang. Syst. 12, 2 (Apr.), 143-177.
19. MYERS, B. A. 1990b. A new model for handling input. ACM Trans. Comput. Hum. Interaction 8, 3 (July), 289-320.
20. MYERS, B. A., GIUSE, D. A., DANNENBERG, R. B., VANDER ZANDEN, B., KOSBIE, D. S., PERVIN, E., MICKISH, A., AND MARCHAL, P. 1990. Garnet: Comprehensive support for graphical, highly-interactive user interfaces. IEEE Computer 23, 11 (Nov.), 71-85.
21. MYERS, B. A., MCDANIEL, R., ROBERT MILLER, A. F., FAULRING, A., KYLE, B., MICKISH, A., KLIMOVITSKI, A., AND DOANE, P. 1997. The Amulet environment: New models for effective user interface software development. IEEE Trans. Softw. Eng. 23, 6 (June), 347-365.
22. PUGH, W. AND TEITELBAUM, T. 1989. Incremental computation via function caching. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, NY, 315-328.
23. REPS, T. 1987. Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Acta Info. 25, 155-178.
24. REPS, T., MARCEAU, C., AND TEITLEBAUM, T. 1986. Remote attribute updating for language based editors. In Proceedings of the 13th ACM Symposium on Principles of Programming Languages. ACM, New York, NY, 1-13.
25. 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.
26. SUNDARESH, R. 1991. Building incremental programs using partial evaluation. In Proceedings of the Symposium on Partial Evaluation and Semantics-based Program Manipulation (New Haven, CT), 83-93.
27. SUNDARESH, R. AND HUDAK, P. 1991. Incremental computation via partial evaluation. In Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages (Orlando, FL), 1-13.
28. SUSSMAN, G. AND STEELE, G. 1980. Constraints-a language for experessing almost-hierarchical descriptions. Artif. Intell. 14, 1-39.
29. 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.
30. VANDER ZANDEN, B., MYERS, B. A., GIUSE, D., AND SZEKELY, P. 1991. The importance of pointer variables in constraint models. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'91, Hilton Head, SC), 155-164.
31. 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, 161-213.
32. VANDER ZANDEN, B. AND VENCKUS, S. 1996. An empirical study of constraint usage in graphical applications. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'96, Seattle, WA), 137-146.