Show simple item record

dc.contributor.authorTekir, Selma
dc.date.accessioned2017-03-14T07:52:15Z
dc.date.available2017-03-14T07:52:15Z
dc.date.issued2012-04
dc.identifier.citationTekir, S. (2012). Reading CS classics. Communications of the ACM, 55(4), 32-34. doi:10.1145/2133806.2133818en_US
dc.identifier.issn0001-0782
dc.identifier.urihttp://doi.org/10.1145/2133806.2133818
dc.identifier.urihttp://hdl.handle.net/11147/5043
dc.description.abstractKnowledge of the theories of computer science (CS) helps in understanding the limitations of the field by providing users with new perspectives and insights. It can be a good practice for CS professionals to compile their own list of classics that highlights some key scientific concepts of the field. 'An Axiomatic Basis for Computer Programming,' by C.A.R. Hoare is a CS classic, which tells about the computing industry of the 1960s and 1970s in Britain. Hoare provides a foundation for the formal proofs of programs by an algebraic assertions-based approach. 'Computing Machinery and Intelligence,' by A.M. Turing tells about the computer numbering systems that provide unique representation to every programming construct. Dijkstra' s realization of the high intellectual challenge of programming and his encouragement made him one of the greatest minds of computer programming. Donald Knuth is extraordinary with his perspective on computer programming.en_US
dc.language.isoengen_US
dc.publisherAssociation for Computing Machineryen_US
dc.relation.isversionof10.1145/2133806.2133818en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectComputer programmingen_US
dc.subjectComputing industryen_US
dc.subjectDijkstraen_US
dc.subjectFormal proofsen_US
dc.subjectGood practicesen_US
dc.subjectNumbering systemsen_US
dc.titleReading CS classicsen_US
dc.typearticleen_US
dc.contributor.authorIDTR114496en_US
dc.contributor.institutionauthorTekir, Selma
dc.relation.journalCommunications of the ACMen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.volume55en_US
dc.identifier.issue4en_US
dc.identifier.startpage32en_US
dc.identifier.endpage34en_US
dc.identifier.wosWOS:000302915000019
dc.identifier.scopusSCOPUS:2-s2.0-84861175317
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record