“…The integrated toolkit contains the following components: · DSC designer intended for the dialogue design of syntactically correct schemes of sequential and parallel algorithms and program generation; · flowgraph editor; · transformer intended for the interactive transformation of algorithmic schemes; · generator of SAA schemes based on higher-level schemes (hyperschemes) [6], which are a generalization of structural design grammars; · database containing the description of SAA constructs and basic concepts in the three above-mentioned forms and their implementation in the target programming language. The DSC designer is intended for levelwise top-down design of algorithmic schemes with the use of SAA constructs chosen from the list.…”
Section: Formalized Program Design In the Integrated Toolkitmentioning
confidence: 99%
“…AA is close to concepts of the algebraic algorithmics [2] and generative programming [5] and is intended to formalize knowledge about object domains with the use of algebraic means. A program development system (called integrated toolkit for program design and synthesis, TDS [6,7]) has been implemented based on AA. The system combines three forms of knowledge representation: analytic (formula in algorithmic algebra), natural linguistic (text) and graphic (flowgraphs).…”
The paper proposes a new approach and a system to develop parallel algorithms based on the joint use of the algebraic-algorithmic methodology of specification and development of programs and non-algorithmic (heuristic) techniques for code generation. The algebraic part of the methodology provides the formalized process of parallel program design through high-level algebraic-algorithmic specifications and automating transformations up to program code in a standard programming language. The heuristic part of the system is the dynamic adjustment of program code to a target platform and its optimization using self-learning code generation and heuristic technologies.
“…The integrated toolkit contains the following components: · DSC designer intended for the dialogue design of syntactically correct schemes of sequential and parallel algorithms and program generation; · flowgraph editor; · transformer intended for the interactive transformation of algorithmic schemes; · generator of SAA schemes based on higher-level schemes (hyperschemes) [6], which are a generalization of structural design grammars; · database containing the description of SAA constructs and basic concepts in the three above-mentioned forms and their implementation in the target programming language. The DSC designer is intended for levelwise top-down design of algorithmic schemes with the use of SAA constructs chosen from the list.…”
Section: Formalized Program Design In the Integrated Toolkitmentioning
confidence: 99%
“…AA is close to concepts of the algebraic algorithmics [2] and generative programming [5] and is intended to formalize knowledge about object domains with the use of algebraic means. A program development system (called integrated toolkit for program design and synthesis, TDS [6,7]) has been implemented based on AA. The system combines three forms of knowledge representation: analytic (formula in algorithmic algebra), natural linguistic (text) and graphic (flowgraphs).…”
The paper proposes a new approach and a system to develop parallel algorithms based on the joint use of the algebraic-algorithmic methodology of specification and development of programs and non-algorithmic (heuristic) techniques for code generation. The algebraic part of the methodology provides the formalized process of parallel program design through high-level algebraic-algorithmic specifications and automating transformations up to program code in a standard programming language. The heuristic part of the system is the dynamic adjustment of program code to a target platform and its optimization using self-learning code generation and heuristic technologies.
“…The apparatus of the algebra of algorithmics proposes high-level means of designing algorithms and data structures for persons who are experts in object domains but are not professionals in object-oriented programming. These means form the basis of an integrated toolkit (that goes back to the synthesizer Multiprotsessist [24]) for designing and synthesizing algorithms and programs inserted into object-oriented environments using the support tools developed in them [25][26][27][28][29]. Scheme representation of objects forms knowledge on the means of their design and synthesis.…”
Section: Functional Constructions Of Clones Of N-ary Relationsmentioning
681.3.016Clones of algebras of n-relations are examined. These clones include algebras equipotent to Codd's algebra. The results obtained earlier for semigroup (grammatical and algorithmic) clones are extended to clones of algebras of functional n-relations. One-dimensional and multidimensional computing structures and related object domains are outlined.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.