| 한글제목(Korean Title) |
선언적 프로그램 명세의 자동 변환 |
| 영문제목(English Title) |
An automatic transformation method of Declarative Program Specification |
| 저자(Author) |
정목동
김영택
Mok Dong Chung
Yung Taek Kim
|
| 원문수록처(Citation) |
VOL 17 NO. 02 PP. 0113 ~ 0125 (1990. 03) |
한글내용
(Korean Abstract) |
기존의 자동 프로그래밍 시스템은 주로 초고급 구조에만 중점을 두었기 때문에 초고급 언어에 익숙하지 못한 프로그래머가 이들 시스템의 명세 언어를 사용하여 프로그램할 때나, 혹은 전문 프로그래머라도 프로그램의 크기가 상대적으로 큰 프로그램을 작성할 경우에는 상당한 어려움을 겪는다. 이와 같은 어려움을 덜어주기 위해서 본 논문에서는 선언적 구문과 절차적 구문으로 구성된 KAPL이라고 부르는 명세 언어를 설계하고, 프로그래밍 지식을 이용하여 고수준의 자료 구조와 제어 구조를 저수준의 자료 구조와 제어 구조로 자동 변형하는 방법을 제시하는데, 특히 KAPL의 구문중 선언적 구문의 자동 변화에 관해서 논한다. 구현된 시스템의 KAPL 명세 언어에 의한 프로그래밍은 초고급 구조에 익숙한 전문 프로그래머 뿐만 아니라, 초고급 구조에 익숙하지 못한, 전문 지식이 부족한 프로그래머라도 프로그램할 수 있다는 특징이 있다. |
영문내용
(English Abstract) |
Nonprofessional programmers found it very difficult to program using very high level languages, because the existing automatic programming systems are mainly dependent on very high level constructs. Even professional programmers may find a lot of difficulties when they write a relatively long program in these languages A method is suggested for reducing such difficulties by programming with an automatic programming language, called KAPL, which consists of declarative and procedural constructs. In this paper, we describes an automatic transformation method from higher level data structure and control structure to lower level data structure and control structure using programming knowledge Especially, this paper centers on the transformation from the declarative program spedification. As a result, nonprofessional programmers, unfamiliar with very high level constructs, as well as professional programmers are able to program using KAPL. |
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
