UDC 007:681.512.2
THE CONCEPTUAL INTEGRITY OF PROGRAMMING LANGUAGES
I. Yu. Kashirin, PhD (technical sciences), full professor, RSREU, Ryazan; This email address is being protected from spambots. You need JavaScript enabled to view it.
O. I. Kashirina, student, RSREU, Ryazan; This email address is being protected from spambots. You need JavaScript enabled to view it.
The most important task of language programming design tools such as programming language aiming at conceptual integrity provision is considered. Special attention is given to the question of syntactic structures optimizing while programming tools development. As a basic mathematic apparatus we offer to use theoretic concept of formal programming machines being the ordered multitude of applied universal algebraic systems. Conceptual unity is considered as fundamental complex characteristics of tool apparatus formed from different programming language elements closely connected with each other and allowing to view the tool set from functionally different points of view. The aim of the work is to analyze the peculiarities of formal language tool research of known programming systems finding optimizing possibilities of corresponding formal programming machines.
Key words: conceptual integrity, programming languages, programming analysis, algorithmic algebras, programming tools, formal programming machines, program optimization, meta-level language tools, syntax and semantics of language constructs.