Controlling Information on Program Transformations: II. The Internal Structure of a Special-Purpose Knowledge Bank on Program Transformations

摘要

A transformer for programs of a special-purpose knowledge bank on program transformations, an ontology of program transformations, its model, and an example of program transformation in terms of the model are considered. A possible application of the knowledge bank for scientific research, industry, and education is described.