A Scalable Method for Deductive Generalization in the Spreadsheet Paradigm

ACM Transactions on Computer-Human Interaction

Volumn 9, Issue 4, 2002, Pages 253-284

  Burnett, Margaret ^a   Yang, Sherry ^b   Summet, Jay ^c  

^a Oregon State University   (United States)

^b OREGON INSTITUTE OF TECHNOLOGY   (United States)

^c OREGON STATE UNIVERSITY   (United States)

Author keywords

concrete programming; Forms 3; generalization; graphical programming; Human Factors; Human computer interaction; Languages; spreadsheet languages

Indexed keywords

EID: 45849150561     PISSN: 10730516     EISSN: 15577325     Source Type: Journal    
DOI: 10.1145/586081.586083     Document Type: Article

References (35)

1. Ambler, A. 1999. The Formulate visual programming language. Dr. Dobb's Journal 24, 8, 21-28
2. Ambler, A. and Hsia, Y. 1993. Generalizing selection in by-demonstration programming. J. Vis. Lang. Comput. 4, 3, 283-300
3. Burnett, M. and Ambler, A. 1994. Interactive visual data abstraction in a declarative visual programming language. J. Vis. Lang. Comput. 5, 1, 29-60
4. Burnett, M., Atwood, J., and Welch, Z. 1998. Implementing level 4 liveness in declarative visual programming languages. In Proceedings of the IEEE Symposium on Visual Languages (Halifax, N. S., Canada, Sept. 1-4, 1998). IEEE Computer Society Press, Los Alamitos, Calif., 126-133
5. Burnett, M., Atwood, J., Djang, R., Gottfried, H., Reichwein, J., and Yang, S. 2001a. Forms/3: a first-order visual language to explore the boundaries of the spreadsheet paradigm. J. Funct. Program. 11, 2, 155-206
6. Burnett, M., Cao, N., and Atwood, J. 2000. Time in grid-oriented VPLs: just another dimension? In Proceedings of the IEEE Symposium on Visual Languages (Seattle, Wash., Sept. 10-13, 2000). IEEE Computer Society Press, Los Alamitos, Calif., 137-144
7. Burnett, M. and Gottfried, H. 1998. Graphical definitions: expanding spreadsheet languages through direct manipulation and gestures. ACM Trans. Comput.-Hum. Interact. 5, 1, 1-33
8. Burnett, M., Yang, S., and Summet, J. 2001b. A Scalable Method for Deductive Generalization in the Spreadsheet Paradigm. Technical Rep. TR 01-60-02, Oregon State University, Corvallis, Ore
9. Chi, E., Riedl, J., Barry, P., and Konstan, J. 1998. Principles for information visualization spreadsheets. IEEE Comput. Graph. Appl. 18, 4, 30-38
10. Cypher, A. and Smith, D. 1995. KidSim: end user programming of simulations. In Proceedings of the ACM Conference on Human Factors in Computing Systems (Denver, Colo., May 7-11, 1995). ACM Press, New York, 27-34
11. Frank, M. and Foley, J. 1994. A pure reasoning engine for programming by demonstration. In Proceedings of the ACM Symposium on User Interface Software and Technology (Marina del Rey, Calif., Nov. 2-4, 1994). ACM Press, New York, N.Y., 95-101
12. Heger, N., Cypher, A., and Smith, D. 1998. Cocoa at the Visual Programming Challenge 1997. J. Vis. Lang. Comput. 9, 2, 151-169
13. Hughes, J. 1985. Lazy memo-functions. In Proceedings of Functional Programming and Computer Architecture (Nancy, France, Sept. 16-19, 1985). J. Jouannaud, Ed. Lecture Notes in Computer Science, vol. 201. Springer-Verlag, Bielefeld, Germany, 129-146
14. Kahn, K. 1996. ToonTalk-An animated programming environment for children. J. Vis. Lang. Comput. 7, 2, 197-217
15. Kurlander, D. and Feiner, S. 1992. A history-based macro by example system. In Proceedings of the ACM the Symposium on User Interface Software and Technology (Monterey, Calif., Nov. 15-18, 1992). ACM Press, New York, N.Y., 99-106
16. Leopold, J. and Ambler, A. 1997. Keyboardless visual programming using voice, handwriting, and gesture. In Proceedings of the IEEE Symposium on Visual Languages (Capri, Italy, Sept. 23-26, 1997). IEEE Computer Society Press, Los Alamitos, Calif., 28-35
17. Lieberman, H. 1993. Tinker: a programming by demonstration system for beginning programmers. In Watch What I Do: Programming by Demonstration, A. Cypher, Ed. MIT Press, Cambridge, Mass., 48-64
18. Mcdaniel, R. and Myers, B. 1999. Getting more out of programming by demonstration. In Proceedings of the ACM Conference on Human Factors in Computing Systems, Pittsburgh, Pnenn., May 15-20, 1999). ACM Press, New York, N.Y., 442-449
19. Myers, B. 1991. Graphical techniques in a spreadsheet for specifying user interfaces. In Proceedings of the ACM Conference on Human Factors in Computing Systems (New Orleans, La., April 28-May 2, 1991). ACM Press, New York, N.Y., 243-249
20. Myers, B. 1993. Peridot: creating user interfaces by demonstration. In Watch What I Do: Programming by Demonstration, A. Cypher, Ed. MIT Press, Cambridge, Mass., 124-153
21. Myers, B. 1998. Scripting graphical applications by demonstration. In Proceedings of the ACM Conference on Human Factors in Computing Systems (Los Angeles, Calif., April 18-23, 1998). ACM Press, New York, N.Y., 534-541
22. Myers, B., Hudson, S., and Pausch, R. 2000. Past, present, and future of user interface software tools. ACM Trans. Comput.-Hum. Interact. 7, 1, 3-28
23. Myers, B. and Maulsby, D. 1993. Glossary. In Watch What I Do: Programming by Demonstration, A. Cypher, Ed. MIT Press, Cambridge, Mass., 593-603
24. Myers, B., Smith, D., and Horn, B. 1992. Report of the ‘End-User Programming’ Working Group. In Languages for Developing User Interfaces, B. Myers, Ed. A. K. Peters, Ltd., Wellesley, Mass., 343-366
25. Olsen, Jr., D. 1996. Inductive groups. In Proceedings of the ACM Symposium on User Interface Software and Technology (Seattle, Wash., Nov. 6-8, 1996). ACM Press, New York, N.Y., 193-199
26. Perrone, C. and Repenning, A. 1998. Graphical rewrite rule analogies: avoiding the inherit or copy & paste reuse dilemma. In Proceedings of the IEEE Symposium on Visual Languages (Halifax, N.S., Canada, Sept. 1-4, 1998). IEEE Computer Society Press, Los Alamitos, Calif., 40-46
27. Repenning, A. 1995. Bending the rules: steps toward semantically enriched graphical rewrite rules. In Proceedings of the IEEE Symposium on Visual Languages (Darmstadt, Germany, Sept. 5-9, 1995). IEEE Computer Society Press, Los Alamitos, Calif., 226-233
28. Sassin, M. 1994. Creating user-intended programs with programming by demonstration. In Proceedings of the IEEE Symposium on Visual Languages (St. Louis, Mo, Oct. 4-7, 1994). IEEE Computer Society Press, Los Alamitos, Calif., 153-160
29. Smith, D. 1975. Pygmalion: a computer program to model and stimulate creative thought, Ph.D. dissertation, Stanford University, Stanford Calif. 1975. (A more accessible summary of this work can be found in Cypher, A. 1993. Watch What I Do: Programming by Demonstration. MIT Press, Cambridge, Mass.)
30. Sugiura, A. and Koseki, Y. 1996. Simplifying macro definition in programming by demonstration. In Proceedings of the ACM Symposium on User Interface Software and Technology, Seattle, Wash., Nov. 6-8, 1996). ACM Press, New York, N.Y., 173-182
31. Vander Zanden, B. and Myers, B. 1995. Demonstrational and constraint-based techniques for pictorially specifying application objects and behaviors. ACM Trans. Comput.-Hum. Interact. 22, 4, 308-356
32. Wang, G. and Ambler, A. 1996. Solving display-based problems. In Proceedings of the IEEE Symposium on Visual Languages (Boulder, Colo., Sept. 3-6, 1996). IEEE Computer Society Press, Los Alamitos, Calif., 122-129
33. Wilde, N. and Lewis, C. 1990. Spreadsheet-based interactive graphics: from prototype to tool. In Proceedings of the ACM Conference on Human Factors in Computing Systems (April 1990). ACM Press, New York, N.Y., 153-159
34. Wolber, D. 1997. An interface builder for designing animated interfaces. ACM Trans. Comput.-Hum. Interact. 4, 4, 347-386
35. Yang, S. and Burnett, M. 1994. From concrete forms to generalized abstractions through perspective-oriented analysis of logical relationships. In Proceedings of the IEEE Symposium on Visual Languages (St. Louis, Mo., Oct. 4-7, 1994). IEEE Computer Society Press, Los Alamitos, Calif., 6-14