RT Journal Article
JF Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on
TI Program Synthesis from Film Specifications
A1 N. Mirenkov,
A1 T. Mirenkova,
AB Nikolay Mirenkov and Tatiana MirenkovaThis paper presents an outline of our strategy for program synthesis within the VIM film technology where special-purpose animation films are used as a new type of abstraction. To specify an algorithm/method the user develops his/her own film. New films are created through cutting, editing and another few click operations as well as by combining and merging component films. These operations predefine transformations rules to be performed with templates related to the system films. These templates are hand-made programs or files of a few hierarchical levels taking into account various kinds of programming know-how and techniques for the efficient implementation of computation on a target computer system. The program synthesis is performed by sequential transformations of the above-mentioned programs and files.
PB IEEE Computer Society, [URL:http://www.computer.org]