OpenDataBase: Entered:
OpenDataBase: Host is localhost
, pillowan_marian, Shaw55Weil, pillowan_pictures
Mary Shaw: Publications

Publication Search

 

Introducing "Theory" in the Second Programming Course

Paul Hilfinger, Mary Shaw, and Wm. A. Wulf
Proceedings of the Ninth Technical Symposium on Computer Science Education, ACM SIGCSE Bulletin, 10(1), 255-259, 1978, pp.55-58
Missing Keywords

Online Links:      PDF

Abstract:

Traditionally, the first two programming courses have emphasized basic techniques and skills - the details of a programming language, basic problem solving and program development, "structured programming", the manipulation of simple data structures and files, basic sorting and searching algorithms, etc. They have placed little or no emphasis on such "advanced" or "theoretical" material as rigorous speicifaction and verification, formal language definition, automata, or complexity anlaysis. Their approach, in other words,is similar to that taken by elementary calculus courses, which teach the mechanics of differentiation and integratiojjn without bringing in foundation material and technically rigorous treatments. The reasoon for avoiding theory in an elecmentary calculus course is quite legitimate: for most students, rigorous treantment is not useful enough to justifu spending time on it at the expense of manioulative skills. In this paper, we shall argue that this reasoning does apply to programming.

Preferred citation: Paul N. Hilfinger, Mary Shaw and Wm. A Wulf. Introducing "Theory in the Secind Programming Course, Proceedings of the Ninth Technical Symposium on Computer Science Education, ACM SIGCSE Bulletin, 10(1), 255-259, 1978, pp. 55-58
Entry last Updated 2006-08-21
The software used to index and search these papers is Marian - the on-line-braian, available at Marian's Home site.
This page is part of Mary Shaw's site in the School of Computer Science at Carnegie Mellon University. Use of any portion of this site to generate spam or other mass communications is forbidden. Comments to maintainer. The software used to index and search these papers is Marian - the on-line-braian, available at Marian's Home site. Comments and suggesions are welcome