Educating the Programmer: Notation, Proofs, and the Development of Programs

Gries, David

dc.contributor.author	Gries, David	en_US
dc.date.accessioned	2007-04-23T16:38:49Z
dc.date.available	2007-04-23T16:38:49Z
dc.date.issued	1980-04	en_US
dc.identifier.citation	http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR80-414	en_US
dc.identifier.uri	https://hdl.handle.net/1813/6254
dc.description.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.	en_US
dc.format.extent	1333490 bytes
dc.format.extent	388061 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	application/postscript
dc.language.iso	en_US	en_US
dc.publisher	Cornell University	en_US
dc.subject	computer science	en_US
dc.subject	technical report	en_US
dc.title	Educating the Programmer: Notation, Proofs, and the Development of Programs	en_US
dc.type	technical report	en_US