Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)
Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)
Modern Compiler Implementation in C
Modern Compiler Implementation in C
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Filmification of methods: A visual language for graph algorithms
Journal of Visual Languages and Computing
Algorithm library based on algorithmic cyberFilms
Knowledge-Based Systems
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
Cognitive aspects of programming in pictures
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
| Hi-index | 0.00 |
AIDA is a language for programming (modeling and documenting) in pictures within F-modeling environment where pictures and moving pictures are used as super-characters for representing features of computational algorithms, corresponding application models and possible related documentation. Generic pictures of the algorithmic super-characters are used to compose compound pictures defining algorithmic steps. The generic and compound pictures, as well as their series are acquired in special galleries of an open type where supportive pictures of various annotations are also included. These acquisitions allow very compact algorithmic specifications from which a set of program slices with different levels of details are synthesized. The lowest level slice is a C++ program. The F-modeling environment provides a set of editors for different views and annotations. In this paper, a structure of the synthesizer is presented and a distribution of its functions among the environment subsystems is provided. A special attention is payed to internal objects, template programs and algorithms supporting the C++ program generation.