This Article 
 Bibliographic References 
 Add to: 
Cognitive Fit: An Empirical Study of Recursion and Iteration
May 1992 (vol. 18 no. 5)
pp. 368-379

A laboratory experiment was conducted to assess the basic theory and extensions to the theory for recursive tasks across programming languages. The experiment used 34 LISP and 48 PASCAL computer science students in two repeated measures designs. Findings of the study are reported and analyzed. The results strongly suggest that investigation of programming constructs should take place in the context of specific programming languages. Since a number of languages provide similar kinds of programming constructs, it is difficult for programmers to choose those implementations that best suit their needs. One way of encouraging the use of desirable constructs would be to develop languages adapted to certain types of tasks. Such an approach would inherently lead to cognitive fit and the attendant performance benefits would be realized.

[1] H. Abelson and G. J. Sussman,Structure and Interpretation of Computer Programs. New York: McGraw-Hill, 1985.
[2] J. R. Anderson, R. Farrell, and R. Sauers, "Learning to program in LISP,"Cognitive Sci., vol. 8, pp. 87-129, 1984.
[3] Y. Anzai and Y. Uesato, "Learning recursive procedures by middleschool children," inProc. 4th Ann. Conf. of the Cognitive Sci. Soc., pp. 100-102, 1982.
[4] J. R. Bettman and P. Kakkar, "Effects of information presentation format on consumer information acquisition strategies,"J. Consumer Res., vol. 3, pp. 233-240, Mar. 1977.
[5] J. R. Bettman and M. Zins, "Information format and choice task in decision making,"J. Consumer Res., vol. 6, pp. 141-153, Sept. 1979.
[6] D. A. Boehm-Davis, R. W. Holt, M. Koll, G. Yastrop, and R. Peters, "Effects of different data base formats on information retrieval,"Human Factors, vol. 31, no. 5, pp. 579-592, 1989.
[7] Brooks, Jr., Frederick P. 1987. "No Silver Bullet: Essence and Accidents of Software Engineering."IEEE Computer, April, pp. 10-19.
[8] J. M. Carroll, J. C. Thomas, and A. Malhotra, "Presentation and representation in design problem-solving,"Brit. J. Psychology, vol. 71, pp. 143-153, 1980.
[9] W. R. Dillon and M. Goldstein,Multivariate Analysis, Methods, and Applications. New York: Wiley, 1984.
[10] B. Dos Santos and M. Bariff, "A study of user interface aids for model-oriented decision support systems,"Management Sci., vol. 34, no. 4, pp. 461-468, Apr. 1988.
[11] H. J. Einhorn and R. M. Hogarth, "Behavioral decision theory: processes of judgment and choice,"Ann. Rev. Psychology, vol. 32, pp. 52-88, 1981.
[12] D. Gentner and A. L. Stevens,Mental Models. Hillsdale, NJ: Lawrence Erlbaum&Assoc., 1983.
[13] E. Horowitz and S. Sahni,Fundamentals of Computer Algorithms. Rockville, MD: Computer Sci. Press, 1978.
[14] C. M. Kessler and J. R. Anderson, "Learning flow of control: recursive and iterative procedures,"Human-Comput. Interact., vol. 2, pp. 135-166, 1986.
[15] K. Kotovsky, J. R. Hayes, and H. A. Simon, "Why are some problems hard? evidence from tower of Hanoi,"Cognitive Psychology, vol. 17, pp. 248-294, 1985.
[16] D. M. Kurland and R. D. Pea, "Children's mental models of recursive LOGO programs," inProc. 5th Ann. Conf. of the Cognitive Sci. Soc., 1983, pp. 1-5.
[17] B. K. Laurel, "Interfaces as mimesis," inUser-Centered System Design, S. W. Draper and D. A. Norman, Eds. Hillsdale, NJ: Lawrence Erlbaun Assoc., 1986, pp. 67-86.
[18] L. A. Lindberg and B. Brehmer, "Subject selection of feedback information in an inductive inference task,"Umea Psychological Rep., vol. 122, 1977.
[19] A. Malhotra, J. C. Thomas, J. M. Carroll, and L. A. Miller, "Cognitive processes in design,"Int. J. Man-Machine Studies, vol. 12, pp. 119-140, 1980.
[20] D. McCracken, "Ruminations on computer science curricula,"Commun. ACM, vol. 30, pp. 3-4, 1987.
[21] A. Newell and H. A. Simon,Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall, 1972.
[22] S. Papert,Mindstorms: Children, Computers, and Powerful Ideas. New York: Basic Books, 1980.
[23] N. Pennington, "Stimulus structures and mental representations in expert comprehension of computer programs,"Cognitive Psychology, vol. 19, pp. 295-341, 1987.
[24] W. Perrig and W. Kintsch, "Propositional and situational representations of text,"J. Memory and Language, vol. 24, pp. 503-518, 1985.
[25] P. Pirolli and J. R. Anderson, "The role of learning from examples in the acquisition of recursive programming skills,"Can. J. Psychology, vol. 39, no. 2, pp. 240-272, 1985.
[26] J. E. Russo, "The value of unit price information,"J. Marketing Res., vol. 14, pp. 193-201, 1977.
[27] M. Silver, "Decision support systems: directed and nondirected change,"Inform. Syst. Res., vol. 1, no. 1, pp. 47-70, 1990.
[28] D. Simkin and R. Hastie, "An information-processing analysis of graph perception,"J. Amer. Statistical Assoc., vol. 82, no. 398, pp. 454-465, 1987.
[29] P. Slovic and S. Lichtenstein, "Preference reversals: a broader perspective,"Amer. Economic Rev., vol. 73, pp. 596-605, 1983.
[30] E. S. Soloway, J. Bonar, and K. Ehrlich, "Cognitive strategies and looping constructs: an empirical study,"Commun. ACM, vol. 26, no. 11, pp. 853-860, 1983.
[31] R. Sprague and E. D. Carlson,Building Effective Decision Support Systems. Englewood Cliffs, NJ: Prentice-Hall, 1982.
[32] SPSS-X User's Guide, 3rd ed., SPSS Inc., Chicago, IL, 1988.
[33] M. M. Tatsuoka,Multivariate Analysis: Techniques for Educational and Psychological Research, 2nd ed. New York: Macmillan, 1988.
[34] S. Turkle,The Second Self: Computers and the Human Spirit. New York: Simon&Schuster, 1984.
[35] A. Tversky and D. Kahneman, "Judgment under uncertainty: heuristic and biases,"Science, vol. 185, pp. 1124-1131, 1974.
[36] A. Tversky and D. Kahneman, "Availability: a heuristic for judging frequency and probability,"Cognitive Psychology, vol. 5, pp. 207-232, 1973.
[37] A. Tversky and D. Kahneman, "Belief in the law of small numbers,"Psychological Bull., vol. 76, pp. 105-110, 1971.
[38] A. Tversky, S. Sattath, and P. Slovic, "Contingent weighting in judgment and choice,"Psychological Rev., vol. 95, pp. 371-384, 1988.
[39] I. Vessey, "Cognitive fit: a theory-based analysis of the graphs versus tables literature,"Decision Sci., vol. 22, pp. 219-240, Spring 1991.
[40] I. Vessey and D. Galletta, "Cognitive fit: an empirical test of information acquisition,"Inform. Syst. Res., vol. 2, no. 1, pp. 63-84, Mar. 1991.
[41] I. Vessey and R. Weber, "Structured tools and conditional logic: an empirical investigation,"Commun. ACM, vol. 29, no. 1, pp. 48-57, 1986.
[42] J. N. Washburne, "An experimental study of various graphic, tabular and textural methods of presenting quantitative material."J. Ed. Psychology, vol. 18, no. 6, pp. 361-376, 1927.
[43] S. Wiedenbeck, "Learning iteration and recursion from examples,"Int. J. Man-Machine Studies, vol. 30, pp. 1-22, 1989.
[44] R. Wilensky,LISPcraft. New York: Norton, 1984.
[45] P. H. Winston and B. K. P. Horn,LISP. Reading, MA: Addison-Wesley, 1981.
[46] W. Zachary, "A cognitively based functional taxonomy of decision support techniques,"Human--Computer Interact., vol. 2, pp. 25-63, 1986.

Index Terms:
laboratory experiment; basic theory; recursive tasks; programming languages; LISP; PASCAL computer science students; repeated measures designs; programming constructs; specific programming languages; cognitive fit; performance benefits; human factors; LISP; Pascal; programming; programming theory; recursive functions
A.P. Sinha, I. Vessey, "Cognitive Fit: An Empirical Study of Recursion and Iteration," IEEE Transactions on Software Engineering, vol. 18, no. 5, pp. 368-379, May 1992, doi:10.1109/32.135770
Usage of this product signifies your acceptance of the Terms of Use.