An explanation-based, visual debugger for one-way constraints

UIST: Proceedings of the Annual ACM Symposium on User Interface Softaware and Technology

Volumn , Issue , 2004, Pages 207-216

  Vander Zanden, Bradley T ^a   Baker, David ^a   Jin, Jing ^a  

^a University of Tennessee Knoxville   (United States)

Author keywords

Constraint satisfaction; Data structures; One way constraints; Software visualization; Visual debugging

Indexed keywords

ALGORITHMS; COLOR CODES; COMPUTER SOFTWARE; CONSTRAINT THEORY; DATA FLOW ANALYSIS; DATA STRUCTURES; GRAPHIC METHODS; PROBLEM SOLVING; VISUALIZATION;

CONSTRAINT SATISFACTION; ONE-WAY CONSTRAINTS; SOFTWARE VISUALIZATION; VISUAL DEBUGGING;

PROGRAM DEBUGGING;

EID: 20344388812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1029632.1029670     Document Type: Conference Paper

References (24)

1. Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, and F. Kenneth Zadeck. Incremental evaluation of computational circuits. In ACM SIGACT-SIAM'89 Conference on Discrete Algorithms, pages 32-42, Jan. 1990.
2. Polly S. Brown and John D. Gould. An experimental study of people creating spreadsheets. ACM Transactions on Office Information Systems, 5(3):258-272, 1987.
3. Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, and Chris Wallace. End-user software engineering with assertions in the spreadsheet paradigm. In Proceedings of the 2003 International Conference on Software Engineering, pages 93-103, Portland, OR, 2003.
4. Ralph D. Hill, Tom Brinck, Steven L. Rohall, John F. Patterson, and Wayne Wilner. The rendezvous architecture and language for constructing multiuser applications. ACM Transactions on Computer Human Interaction, 1:81-125, June 1994.
5. Jochen Hoenicke, Bernard Farrell, Jonathan Nash, and Tobias Rademacher. Jode: Java optimize and decompile environment.
6. Scott E. Hudson. A system for efficient and flexible one-way constraint evaluation in C++. Technical Report 93-15, Graphics Visualizaton and Usability Center, College of Computing, Georgia Institute of Technology, April 1993.
7. Scott E. Hudson. User interface specification using an enhanced spreadsheet model. ACM Transaction on Graphics, 13(3):209-239, July 1994.
8. Scott E. Hudson and Ian Smith. Ultra-lightweight constraints. In ACM SIGGRAPH Symposium on User Interface Software and Technology, pages 147-155, Seattle, WA, Nov 1996. Proceedings UIST'96.
9. Takeo Igarashi, Jock D. Mackinlay, Bay-Wei Chang, and Polle T. Zellweger. Fluid visualization of spreadsheet structures. In 1998 IEEE Symposium on Visual Languages, pages 118-125, Halifax, Nova Scotia, Canada, Sept 1998. IEEE Computer Society.
10. D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, June 1968.
11. Andrew J. Ko and Brad A. Myers. Designing the whyline: A debugging interface for asking questions about program behavior. CHI Letters, 6(1):151-158, April 2004. Proceedings SIGCHI'2004.
12. Brad A. Myers. Graphical techniques in a spreadsheet for specifying user interfaces. In Human Factors in Computing Systems, pages 243-249, New Orleans, LA, Apr 1991. Proceedings SIGCHI'91.
13. Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad Vander Zanden, David S. Kosbie, Ed Pervin, Andrew Mickish, and Philippe Marchal. Garnet: Comprehensive support for graphical, highly-interactive user interfaces. IEEE Computer, 23(11):71-85, November 1990.
14. Brad A. Myers, Rich McDaniel, Robert Miller, Alan Ferrency, A. Faulring, Bruce Kyle, Andy Mickish, Alex Klimovitski, and P Doane. The Amulet environment: New models for effective user interface software development. IEEE Transactions on Software Engineering, 23(6), June 1997.
15. T. Reps, T. Teitelbaum, and A. Demers. Incremental context-dependent analysis for language-based editors. ACM TOPLAS, 5(3):449-477, July 1983.
16. T.J. Robertson, Shrinu Prabhakararao, Margaret Burnett, Curtis Cook, Joseph R. Ruthruff, Laura Beckwith, and Amit Phalgune. Impact of interruption style on end-user debugging. CHI Letters, 6(1):287-294, April 2004.
17. Michael Sannella. Analyzing and debugging hierarchies of multi-way local propagation constraints. In Lecture Notes in Computer Science No. 874, pages 6377. Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, 1994.
18. Michael Sannella. Constraint Satisfaction and Debugging for Interactive User Interfaces. PhD thesis, Department of Computer Science and Engineering, University of Washington, Seattle, WA 98195, 1994. Also available as Technical Report 94-09-10.
19. Jos van Eijndhoven. Graphplace. 1994.
20. Brad Vander Zanden, Richard Halterman, Brad A. Myers, Rob Miller, Pedro Szekely, Dario Giuse, David Kosbie, and Rich McDaniel. Lessons learned from users' experiences with one-way constraints. Software Practice and Experience. To Appear.
21. Brad Vander Zanden, Brad A. Myers, Pedro Szekely, Dario Giuse, Rich McDaniel, Rob Miller, David Kosbie, and Richard Halterman. Lessons learned about one-way, dataflow constraints in the garnet and amulet graphical toolkits. ACM Transactions on Programming Languages and Systems, 23(6): 776-796, Nov 2001.
22. Brad Vander Zanden and Scott Venckus. An empirical study of constraint usage in graphical applications. In ACM SIGGRAPH Symposium on User Interface Software and Technology, pages 137-146, Seattle, WA, November 1996. Proceedings UIST'96.
23. G.A. Venkatesh. The semantic approach to program slicing, sigplan, 26(6): 107-119, June 1991.
24. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4): 352-357, July 1984.