Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Deriving parallel programs from specifications using cost information
Science of Computer Programming
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
“Filmification” of methods: programming technology for the 21st century
Proceedings of the second world congress on Nonlinear analysts : part 2: part 2
Visualizing Software: A Graphic Notation for Analysis, Design, and Discussion
Visualizing Software: A Graphic Notation for Analysis, Design, and Discussion
Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)
Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)
Visualization of Geometric Algorithms
IEEE Transactions on Visualization and Computer Graphics
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Visualization and sonification of methods
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Methods and tools for the efficient use of parallel computer architectures
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Program transformations and skeletons: formal derivation of parallel programs
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Computer
Programming and Computing Software
| Hi-index | 0.00 |
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.