Software Engineering with a Transformational System

Polya项目的目标是通过更多地强调编程语言本身的用户界面，提高程序开发和维护的生产率。这项研究寻求新的方法来编写程序，使程序高效，并重用程序部分。它直接与软件工程和快速原型制作有关。编程语言Polya引入了新的机制，允许一组人定义和使用他们的问题域的符号，这样程序就可以更接近于正在使用的算法。其次，Polya的机制使得描述高级类型的变量应该如何实现变得更容易，与更传统的语言相比，只需要对算法进行更少的修改。转换是一种新的程序部分，可以相对容易地重复使用。以合成器生成器为平台，实现了Polya的原型系统。这项研究集中在三个方面：(1)旨在显著扩展Polya转换方法的模式匹配能力的研究，并探索逆向工程的新思想；(2)Polya的实验，以开发一个有用的程序零件库；(3)对Polya、其实现和相关工具(如源代码级调试器)的实践和理论改进。

The goal of the Polya project is to increase productivity in the development and maintenance of programs, by placing more emphasis on the user interface within the programming language itself. This research seeks new ways to write programs, to make programs efficient, and to reuse program parts. It is concerned directly with software engineering and rapid prototyping. The programming language Polya incorporates new mechanisms that allow a group of people to define and use notations of their problem domain, so that programs can more closely resemble the algorithms being used. Secondly, Polya has mechanisms that make it easier to describe how variables of high-level types should be implemented, requiring fewer modifications to the algorithm than is the case with more traditional languages. The transform, a new kind of program part, can be reused with relative ease. A prototype implementation of Polya uses the Synthesizer Generator as the platform. This research focuses on three areas: (1) research aimed at a significant extension of the pattern matching capabilities of the Polya transformational approach and exploration of new ideas on reverse engineering; (2) experimentation with Polya, in order to develop a library of useful program parts; (3) practical and theoretical improvements to Polya, its implementation, and related tools such as a source-level debugger.