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))
본 논문은 프로그래밍 방법에 관한 연구이다. 특히 프로그래밍 언어에 관한 분야중 정당성 증명(correctness proof)에 연관된 것으로, 뒷받침되는 flow-diagram 에 대한 사고, Structured programming 과 공리적 접근 방법 (axiomatic approach)에 관해 간단히 소개하고, E.W.Dijkstra에 의해 제시된 소규모 프로그래밍 언어에 관해 고찰했다. 그는 프로그래밍 언어의 의미(semantics)를 표시하는데 predicate transformer 와 그에 따른 weakest pre-condition을 도입하였다.
Dijkstra 의 방법을 threaded binary tree 에서 임의의 node 를 제거하는 algorithm 을 개발하는데 직접 사용해 보았고, 한국과학원에 설치된 NOVA 컴퓨터에서 이미 개발된 LR parser 를 이용하여 Dijkstra 의 소규모 프로그래밍 언어를 Syntax-directed translation 에 의해 ALGOL-code로 작성하는 translator 를 개발하였다.
이 연구의 근본 목적은 프로그램 작성자가 프로그램을 쓰면서 동시에 쓴 프로그램의 정당성을 고려함으로서 프로그램 자체도 개선시킬 수 있는데 있다.
