Maintenance and Analysis of Structurally Enhanced Programs

正在开发一种运算演算，以便于非专业程序员维护程序。 操作是在程序的“增强结构”上执行的，而不是（更复杂的）程序文本。 增强结构是基于在以前的NSF赠款下开发的逐步增强的方法。 这个延续奖包括一个补充，以支持本科参与者的研究经验。 %以前的工具，PT，建立支持逐步增强的主要步骤，应用技术的骨架，并从骨架增强的程序组成。 现已正式确定了增强结构。 由本科生执行的具体任务是增强PT以直接操纵增强结构。 维护操作将直接在增强结构上执行，而不是像目前的情况那样直接在程序上重新应用操作。

A calculus of operations are being developed to facilitate maintenance of programs by non-specialist programmers. Operations are to be performed on an "enhancement structure" of a program rather than the (more complicated) program text. Enhancement structures are based on the methodology of stepwise enhancement developed under a previous NSF grant. This continuation award includes a supplement to support research experience for an undergraduate participant. %%% Previously a tool, PT, was built to support the major steps of stepwise enhancement, applying techniques to skeletons, and composition of programs enhanced from the skeleton. Enhancement structures have now been defined formally. The specific task to be performed by the undergraduate student is to enhance PT to directly manipulate enhancement structures. The maintenance operations would be performed directly on the enhancement structures, rather than by reapplying operations directly on programs as is the case currently.