∗AIDA declarations supporting program compactness

Abstract

*AIDA (Star-AIDA) is a programming (modeling) language for programming in pictures. The pictures play a role of algorithmic super-characters and their compositions can be considered as compound pictures and as "super-texts." A very-high level of the super-characters allows not only to essentially decrease the algorithm representation sizes, but also to increase understandability of algorithms. In addition to the level of the super-characters, important contributions to the compactness and understandability of *AIDA programs are related to forms of the picture compositions and displaying (visualizing) such compositions. These forms are based on folding/unfolding techniques, clarifying annotations, patterns for representing formulas, etc. In this paper, *AIDA declarations are considered and a special approach for manipulating with large-scale formulas and large number of variables is presented.