Abstract: The paper presents basic notions and scientific achievements in the field of program transformations, describes usage of these achievements both in the professional activity (when developing optimizing and unparallelizing compilers) and in the higher education. It also analyzes main problems in this area. The concept of control of program transformation information is introduced in the form of specialized knowledge bank on computer program transformations to support the scientific research, education and professional activity in the field. The tasks that are solved by the knowledge bank are formulated. The paper is intended for experts in the artificial intelligence, optimizing compilation, postgraduates and senior students of corresponding specialties; it may be also interesting for university lecturers and instructors.

Keywords: Knowledge bank; Ontology; Knowledge base; Ontology editor; Database editor; Knowledge processing; Program transformations; Optimizing compilation

ACM Classification Keywords: I.2.5 Artificial intelligence: programming languages and software

Link:

A WEB-SYSTEM FOR COMPUTER EXPERIMENTS IN THE FIELD OF PROGRAM TRANSFORMATIONS

Margarita Knyazeva, Alexander Kleshchev

http://www.foibg.com/ijita/vol13/ijita13-4-p05.pdf