References
Podlovchenko, R.I. and Rusakov, D.M., Inclusion Problem in Algebraic Models of Programs with Constants, Programmirovanie, 2007, no. 3, pp. 3–15 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 3, pp. 121–131].
Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Lecture Notes in Computer Science, Berlin: Springer, 2006, vol. 3845, pp. 351–352.
Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Trudy instituta sistemnogo programmirovaniya (Proc. of the Institute for System Programming), vol. 11, Ivannikov, V.P., Ed., Moscow: ISP RAN, 2006.
Kas’yanov, V.N. and Evstigneev, V.A., Grafy v programmirovanii: obrabotka, vizualizatsiya i primenenie (Graphs in Programming: Processing, Visualization, and Application), BKhV-Peterburg, 2003.
Cormen, T., Leiserson, C., Rivest, R., and Stein, K., Introduction to Algorithms, The MIT Press, 2001, 2nd ed.
Kudryavtsev, V.B., Aleshin, S.V., and Podkolzin, A.S., Vvedenie v teoriyu avtomatov (Introduction to Automata Theory), Moscow: Nauka, 1985.
Hopcroft, J.E., Motwani, R., and Ullman, J.D., Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © D.M. Rusakov, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6.
Rights and permissions
About this article
Cite this article
Rusakov, D.M. Scheme inclusion verification algorithm in algebraic model of programs with constants. Program Comput Soft 33, 299–306 (2007). https://doi.org/10.1134/S0361768807060011
Received:
Issue Date:
DOI: https://doi.org/10.1134/S0361768807060011