A Program Holder Module,

摘要

The paper describes a mechanism for holding a program in syntactic form. This mechanism can be useful to any program which processes programs:in program verification automatic programming,and specialized text editing. In this case the program holder is used to form the basis for syntax-driven text editor. Formal specifications for the program holder are also given. (Author)