Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6254
Title: Educating the Programmer: Notation, Proofs, and the Development of Programs
Authors: Gries, David
Keywords: computer science
technical report
Issue Date: Apr-1980
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR80-414
Abstract: The current state of affairs in programming is discussed. The opinion is expressed that effective programming requires more "mathematical maturity" than most programmers have. Further, education in formal logicc, which is used (often informally) to reason about programs and specifications, and in a theory of programming could do much to increase the programmer's competence. Such education could lead to programming becoming more of a science than just an art. Examples are given throughout to support the opinions presented.
URI: http://hdl.handle.net/1813/6254
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
80-414.pdf1.3 MBAdobe PDFView/Open
80-414.ps378.97 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us