For the first time since 1947 it is proposed to use a simpler and mathematically more rigorous concept of programming with the graphs loaded only through horizontal arcs with characters, functions and expressions of elementary mathematics. Such graph is a polyglot, it has ISO 8631/1989 standard, and is the only one that can be used effectively throughout the life cycle of program design and use. Conventional programming languages are not needed. The new concept has 100+ times better characteristics with regard to visualization, simplicity, and compactness, as well as the speed of entering into the computer. Processes of error-free design of algorithms, programs, and data structures, evidence of their correctness, self-documenting and documenting of motivation of decisions made are significantly simplified, improved and accelerated. The resulting programs are more effective on the memory footprint and execution time. The larger and the more complex is the program project, the greater is the effect of applying the new concept. The new concept is so simple that it makes it possible to program for ANYONE, not just for programmers. We do not know analogue of the new concept. This article describes the history of developing and proving the new concept, its description, advantages, implemented graphical programming environment, and perspectives for its application.
A Constructive Approach for Proving Data Structures’ Linearizability