A cognitive model of programming knowledge for procedural languages

  • Koen Bertels
  • Philip Vanneste
  • Carlos De Backer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 602)


Recently many studies focusing on diverse aspects of programming knowledge were published. However, none of them proposes a complete model in which the contents and overall structure are defined. One of the first (and only) attempts to define such a model was made by Shneiderman, where he defines Programming Knowledge to contain two distinct knowledge bodies. We complement this model by defining the link between the syntactic and semantic knowledge. This link is constituted by the Semantically Augmented Programming Primitives (SAPP's). The paper is concerned in the definition of this ‘missing link’ in programming knowledge.


programming knowledge cognitive model human problem solving knowledge based CAI-systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Berteis 1991a]
    Berteis K,; Qualitative Reasoning in Novice Program Analysis; Ph.D.-thesis, University of Antwerp, June 1991.Google Scholar
  2. [Bertels 1991b]
    Bertels K., Vanneste Ph.& De Backer C.; The Development of a Program Analyzer, Proceedings of the PEG-91 Conference, Rapallo, Italy, June 1991.Google Scholar
  3. [Bouwman 1985]
    Bouwman; The use of Protocol Analysis in Accounting; Accounting and Finance, May 1985, pp.61–84.Google Scholar
  4. [Jonckers 1986]
    Junckers Viviane; Generalisations Hierarchies in Knowledge Based Programming; AI-memo no, 86–4, 1986, 14 p.Google Scholar
  5. [Jonckers 1987]
    Jonckers Viviane; A Framework for Modeling Programming Knowledge; V.U.B. A.I.-Lab, Technical Report 87-1, 1987.Google Scholar
  6. [Johnson 1986]
    Johnson W. L.; Intention-Based Diagnosis of Novice Programming Errors; Morgan Kaufmann Publishers, 1986.Google Scholar
  7. [Knuth 1968]
    Knuth; Fundamental Algorithms; Reading, Massachusetts, 1968, 2nd. ed., 634 p.Google Scholar
  8. [Laurent 1980]
    Laurent, Adam; Laura: a system to debug programs; Artificial Intelligence, no. 15, 1980, pp.75–122.Google Scholar
  9. [Murray 1988]
    Murray; Automatic Program Debugging for Intelligent Tutoring Systems; Morgan Kaufmann Publishers, San Mateo, 1988, 344 p.Google Scholar
  10. [Newell 1972]
    Newell & Simon; Human Problem Solving; Englewood Cliffs NJ, Prentice Hall, 1972.Google Scholar
  11. [Reiser et. al 1985]
    Reiser, Anderson & Farrell; Dynamic student modelling in an intelligent tutor for LISP programming, Proceedings of the International Joint conference on Artificial Intelligence-85, Los Altos, Morgan Kaufmann, vol. 1, pp. 8–14.Google Scholar
  12. [Shneiderman 1977]
    Shneideiman; Teaching Programming: a spiral approach to syntax and semantics; Computers and Education, vol.1, 1977, p.193–197.CrossRefGoogle Scholar
  13. [Soloway 1983]
    Soloway E., Bonar J. & Ehrlich K.; Cognitive Strategies and Looping Constructs: An Empirical Study; C.A.C.M., Vol. 26, Nr. 11, 1983, pp. 853–860.Google Scholar
  14. [Wills 1987]
    Wills, Linda; Automated Program Recognition; MIT-AI laboratory, Massachusetts, Technical Report 904, 1987, 199 p.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Koen Bertels
    • 1
  • Philip Vanneste
    • 1
    • 2
  • Carlos De Backer
    • 1
  1. 1.University of AntwerpAntwerpBelgium
  2. 2.K.U. Leuven Campus KortrijkKortrijkBelgium

Personalised recommendations