Algebras of Hyperschemes and Integrated Tools for Synthesis of Programs in Modern Object-Oriented Environments

Yatsenko, Ye. A.

doi:10.1023/b:casa.0000028097.90327.dd

Cited by 4 publications

(3 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Development of algorithmic algebra tools to design parallel programs using heuristics

et al. 2010

View full text Add to dashboard Cite

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.

show abstract

Section: Formalized Program Design In the Integrated Toolkitmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Development of algorithmic algebra tools to design parallel programs using heuristics

et al. 2010

View full text Add to dashboard Cite

show abstract

“…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

confidence: 99%