一种面向Pascal的程序维护语言及其应用

PML/Pascal 是我们研制的一个面向Pascal 的程序维护语言,用于描述Pascal 程序中各实体标识符的定义与使用情况。本文主要介绍PML/Pascal 的设计思想、程序结构与设施以及生成工具,最后讨论它与Pascal 程序结构语言之间的关系。