Conclusion
The initial push to this research is probably due to Dahl and Hoare's Hierarchical Program Structures [6] which deeply influenced the author at the time.
Similar content being viewed by others
Literature Cited
F. Harary, Graph Theory, Addison-Wesley, Reading, Mass. (1969).
O. Ore, Theory of Graphs, American Mathematical Society, Providence, RI (1962).
V. K. Evtimov, “Formal methods of verification and realization of algorithms on structured storage,” Author's Abstract of Candidate's Dissertation, Kiev (1976).
F. E. Allen and J. Cocke, “Graph theoretic constructs for program control flow analysis,” IBM Res. Rep. RC3923 (July, 1972).
V. K. Evtimov, “Bases of paths in correctness proofs,” in: Lecture Notes in Computer Science, Vol. 28, Springer-Verlag (1975).
O. Dahl, E. Dijkstra, and C. Hoare, Structured Programming, Academic Press, New York (1972).
Additional information
Translated from Kibernetika, No. 1, pp. 62–67, January–February, 1980.
Rights and permissions
About this article
Cite this article
Evtimov, V.K. Virtual transformations of data structures. Cybern Syst Anal 16, 68–75 (1980). https://doi.org/10.1007/BF01099363
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01099363