| 摘要: |
| KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设计目标是通过引用格局库中的断片,快速正确地构造程序。它的目标语言是Pascal。目前该系统由四部分组成:编码程序,用以产生对应于格局的程序正文;一个通用算法片断格局库;格局编辑程序,使得程序能通过修改格局而达到修改程序的目的;正文 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| KBE-PASCAL: KNOWLEDGE BASED PROGRAM EDITING |
|
Zheng Guoliang,Tang Qing
|
| Abstract: |
| KBE-Pascal is an interactive programming assistant system. The intention is that the programmer will do the hard parts of design and implementation while the KBE-Pascal will assist him wherever possible. The major underpinning of KBE-Pascal is plan, a kind of representation for programs, which abstracts away from the inessential features of a program and represents the basic logical properties of the algorithm explicitly. The main design goal of KBE-Pascai is rapidly and accurately building up a program by refering to the fragments in the plan library.It's object language is Pascal.The current system is composed of four parts:a coder that can creste program text corresponding to a plan;a library of plans for common algorithm fragments;a plan editor which makes it possible for a programmer to modify a program by modifying its plan;and a text editor which makes it possible for a programmer to edit on program text directly. |
| Key words: |
