DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Gil-Chang | - |
dc.contributor.advisor | 김길창 | - |
dc.contributor.author | Song, Chang-Geun | - |
dc.contributor.author | 송창근 | - |
dc.date.accessioned | 2011-12-13T05:48:35Z | - |
dc.date.available | 2011-12-13T05:48:35Z | - |
dc.date.issued | 1983 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=63743&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33567 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1983.2, [ [ii], 46, [3] p. ] | - |
dc.description.abstract | Basu``s systematic approach to the development of totally correct iteractive programs is classified by manner of generalizations and we investigate those through examples. We have some abstract data types such as a binary tree and a directed, connected graph. For data domain including these data types, we introduce intra and internal generalization. These manner of extensions are illustrated by the depth first search (DFS) of a graph. Also this thesis contains a description about the same problems in stack schema. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) study on the development of accumulating loop programs | - |
dc.title.alternative | 축적 LOOP 프로그램에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 63743/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000811144 | - |
dc.contributor.localauthor | Kim, Gil-Chang | - |
dc.contributor.localauthor | 김길창 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.