Program synthesis from film specifications

This 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 other click operations by combining and merging component films. These operations predefine transformation 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.