Programmable applications: interpreter meets interface

ABSTRACT

Current fashion in "user-friendly" software design tends to place an over-reliance on direct manipulation interfaces. To be truly expressive (and thus truly user-friendly), applications need both learnable interfaces and domain-enriched languages that are accessible to the user. This paper discusses some of the design issues that arise in the creation of such programmable applications. As an example, we present "SchemePaint," a graphics application that combines a MacPaint-like interface with an interpreter for (a "graphics-enriched") Scheme.

REFERENCES

• 1: [1] Abelson, H. and diSessa, A. Turtle Geometry. MIT Press, Cambridge, MA 1980.
• 2: Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
• 3: [3] Abelson, H. and Sussman, G. "Computation: an Introduction to Engineering Design." MIT Artificial Intelligence Memo 848a, 1986.
• 4: Beth Adelson , Elliot Soloway, The Role of Domain Expenence in Software Design, IEEE Transactions on Software Engineering, v.11 n.11, p.1351-1360, November 1985 [doi>10.1109/TSE.1985.231883]
• 5: [5] Anderson, J. and Jeffries, R. "Novice LISP Errors: Undetected Losses of Information from Working Memory." Human-Computer Interaction, 1:2, 1985.
• 6: John R. Anderson , Brian J. Reiser, The LISP tutor: it approaches the effectiveness of a human tutor, BYTE, v.10 n.4, p.159-175, April 1985
• 7: [7] Barr, A.; Beard, M.; and Atkinson, R. "The Computer as Tutorial Laboratory: the Stanford BIP Project." International Journal of Man-Machine Studies, v. 8, pp. 567-595, 1976.
• 8: N. Baxter , Ed Dubinsky , G. Levin, Learning Discrete Math with ISETL, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
• 9: Brian Beckman, A scheme for little languages in interactive graphics, Software—Practice & Experience, v.21 n.2, p.187-207, Feb. 1991 [doi>10.1002/spe.4380210206]
• 10: [10] Bonar, J. and Cunningham, J. "Bridge: Tutoring the Programming Process." In Intelligent Tutoring Systems: Lessons Learned. Psotka, J.; Massey, L.; and Mutter, S., eds. Lawrence Erlbaurm Associates, Hillsdale, NJ 1988.
• 11: [11] Braitenberg, V. Vehicles. MIT Press, 1984.
• 12: [12] Coombs, M.; Gibson, R.; and Alty, J. "Acquiring a First Computer Language: A Study of Individual Differences." In Computer Skills and the User Interface. Coombs, M. and Alty, J., eds. Academic Press, London, 1981.
• 13: A. A diSessa , H. Abelson, Boxer: a reconstructible computational medium, Communications of the ACM, v.29 n.9, p.859-868, Sept. 1986 [doi>10.1145/6592.6595]
• 14: [14] diSessa, A.; Abelson, H.; and Ploger, D. "An Overview of Boxer." The Journal of Mathematical Behavior, 10:1, 1991.
• 15: [15] Ehrlich, K. and Soloway, E. "An Empirical Investigation of the Tacit Plan Knowledge in Programming." Yale University Department of Computer Science Research Report no. 236, April, 1982.
• 16: G. Fischer, Enhancing incremental learning processes with knowledge-based systems, Learning Issues for Intelligent Tutoring Systems, Springer-Verlag New York, Inc., New York, NY, 1988
• 17: [17] Fischer, G.; Lemke, A.; and McCall, R. "Toward a System Architecture Supporting Contextualized Learning." In Proceedings of AAAI'90.
• 18: [18] Fischer, G. and Mastaglio, T. "Computer-Based Critics." In Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Jan, 1989.
• 19: James D. Foley, Interfaces for advanced computing, Scientific American, v.257 n.4, p.126-135, Oct. 1987
• 20: [20] Grabowski, R. with Huddleston, D. Using Auto CAD. QUE, Carmel, IN 1991.
• 21: Theodore W. Gray , Jerry Glynn, Exploring mathematics with Mathematica, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1992
• 22: Peter Henderson, Functional geometry, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.179-187, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802148]
• 23: W. L. Johnson , Elliot Soloway, PROUST: an automatic debugger for PASCAL programs, BYTE, v.10 n.4, p.179-190, April 1985
• 24: [24] Kessler, C. and Anderson, J. "Learning Flow of Control: Recursive and Iterative Procedures." Human-Computer Interaction 2:2, 1986.
• 25: [25] Kurland, D. and Pea, R. "Children's Mental Models of Recursive Logo Programs." Journal of Educational Computing Research, 1:2, 1985.
• 26: Clayton Lewis , Gary Olson, Can principles of cognition lower the barriers to programming?, Empirical studies of programmers: second workshop, Ablex Publishing Corp., Norwood, NJ, 1987
• 27: Aaron Marcus , Andries van Dam, User-Interface Developments for the Nineties, Computer, v.24 n.9, p.49-57, September 1991 [doi>10.1109/2.84899]
• 28: [28] Mayer, R. "Different Problem-Solving Competencies Established in Learning Computer Programming With and Without Meaningful Models." Journal of Educational Psychology , 67:6, 1975.
• 29: Richard E. Mayer, A psychology of learning BASIC, Communications of the ACM, v.22 n.11, p.589-593, Nov. 1979 [doi>10.1145/359168.359171]
• 30: [30] Miller, M. "A Structured Planning and Debugging Environment for Elementary Programming." In Intelligent Tutoring Systems. Sleeman, D. and Brown, J., eds. Academic Press, Inc., London, 1982.
• 31: [31] Pea, R. "Language-Independent Conceptual 'Bugs' in Novice Programming." Journal of Educational Computing Research, 2:1, 1986.
• 32: Nancy Pennington, Comprehension strategies in programming, Empirical studies of programmers: second workshop, Ablex Publishing Corp., Norwood, NJ, 1987
• 33: Peter Pirolli, A Cognitive Model and Computer Tutor for Programming Recursion, ACM SIGCHI Bulletin, v.19 n.1, p.75, July 1987
• 34: [34] Rees, J. and Clinger, W., eds. "Revised³ Report on the Algorithmic Language Scheme." MIT Artificial Intelligence Laboratory Memo 848a, September 1986.
• 35: Mitchel Resnick, Animal simulations with Logo: Massive parallelism for the masses, Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats, p.534-539, February 1991, Paris, France
• 36: [36] Slierin, B. Personal communication.
• 37: [37] Sleeman, D.; Putnam, R.; Baxter, J.; and Kuspa, L. "An Introductory Pascal Class: A Case Study of Students' Errors." In Teaching and Learning Computer Programming. Mayer, R., ed. Lawrence Erlbaum, Hillsdale, NJ 1988.
• 38: [38] Soloway, E. and Ehrlich, K. "Empirical Studies of Programming Knowledge." IEEE Transactions on Software Engineering , SE-10:9, 1984.
• 39: [39] Spohrer, J.; Soloway, E.; and Pope, E. "A Goal/Plan Analysis of Buggy Pascal Programs." Human-Computer Interaction 1:2, 1985.
• 40: [40] Turkle, S. The Second Self. Simon and Schuster, NY 1984.
• 41: Ilan Vardi, Computational recreations in Mathematica, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991
• 42: Stan Wagon, Mathematica in action, W. H. Freeman & Co., New York, NY, 1991

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

Additional Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)

General Terms:
Design, Human Factors, Management