DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Park, Chul-Hui | - |
dc.contributor.advisor | 박철희 | - |
dc.contributor.author | Kim, Myong-Joon | - |
dc.contributor.author | 김명준 | - |
dc.date.accessioned | 2011-12-13T05:47:27Z | - |
dc.date.available | 2011-12-13T05:47:27Z | - |
dc.date.issued | 1980 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=62676&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33489 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1980.2, [ [iv], 70, [4] p. ] | - |
dc.description.abstract | This thesis is concerned about programming methodologies which is related to programming language. The major part of this thesis is Dijkstra``s approach and its application and implementation for practical execution. At the biginning it briefly introduces three basic ideas (1) flow-diagram and programming, (2) structured programming, and (3) axiomatic approach. Specially Dijkstra``s mini programming language and his ideas of predicate transformer are studied. DPL (an abbreviation of Dijkstra``s Programming Language) is used in describing an algorithm of deletion of any node in threaded binary tree structure. An implementation of translator of DPL to ALGOL by syntax-directed translation is performed at NOVA computer installed in K.A.I.S. The basic purpose of this thesis is to progress the programming by means of thinking the program correctness when a programmer writes the program. At the end of ABSTRACT, I wish to introduce Dijkstra``s impressive world, that is, " One of the most important aspects of any computing tool is its influence on the thinking habits of those who try to use it." (ref. (1)) | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) study on programming methodologies | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 62676/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000781023 | - |
dc.contributor.localauthor | Park, Chul-Hui | - |
dc.contributor.localauthor | 박철희 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.