Geodesic
About Algebraic Program Models with Procedures
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 100-114.

Voir la notice de l'article provenant de la source Math-Net.Ru

Algebraic program models with procedures are designed to analyze program semantic properties on their models called program schemes. The concepts that give foundation to the theory of such models are stated along with a description of their implementation. The key point of the theory is the equivalence of program schemes that belong to a particular model. A class of special algebraic models with procedures, called gateway models, is studied. Necessary and sufficient conditions of the equivalence problem decidability in such models are proposed.
Keywords: program formalization, program scheme, program schemes equivalence, matric scheme, free scheme. 
@article{MAIS_2012_19_5_a9,
     author = {R. I. Podlovchenko and A. E. Molchanov},
     title = {About {Algebraic} {Program} {Models} with {Procedures}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {100--114},
     publisher = {mathdoc},
     volume = {19},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a9/}
}
TY  - JOUR
AU  - R. I. Podlovchenko
AU  - A. E. Molchanov
TI  - About Algebraic Program Models with Procedures
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 100
EP  - 114
VL  - 19
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a9/
LA  - ru
ID  - MAIS_2012_19_5_a9
ER  - 
%0 Journal Article
%A R. I. Podlovchenko
%A A. E. Molchanov
%T About Algebraic Program Models with Procedures
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 100-114
%V 19
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a9/
%G ru
%F MAIS_2012_19_5_a9
R. I. Podlovchenko; A. E. Molchanov. About Algebraic Program Models with Procedures. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 100-114. http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a9/

[1] A. A. Lyapunov, “O logicheskikh skhemakh programm”, Problemy kibernetiki, 1, Fizmatgiz, M., 1958, 46–74

[2] Yu. I. Yanov, “O logicheskikh skhemakh algoritmov”, Problemy kibernetiki, 1, Fizmatgiz, M., 1958, 75–127

[3] R. I. Podlovchenko, “Ob odnoi metodike raspoznavaniya ekvivalentnosti v algebraicheskikh modelyakh programm”, Programmirovanie, 2011, no. 6, 33–43 | MR

[4] V. A. Zakharov, “Proverka ekvivalentnosti programm pri pomoschi dvukhlentochnykh avtomatov”, Kibernetika i sistemnyi analiz, 2010, no. 4, 39–48

[5] R. I. Podlovchenko, Ekvivalentnye preobrazovaniya v matematicheskikh modelyakh vychislenii, Uchebnoe posobie, Izd. otdel f-ta VMiK MGU, M.; MAKS PRESS, 2011, 72 pp.

[6] R. I. Podlovchenko, “Abstraktnye programmy s protsedurami i konechnye avtomaty s magazinom”, Intellektualnye sistemy, 2:1–4 (1997), 275–295

[7] R. I. Podlovchenko, “Ot skhem Yanova k teorii modelei programm”, Matematicheskie voprosy kibernetiki, 7 (1998), 281–302 | MR | Zbl

[8] R. I. Podlovchenko, “Spetsialnye peregorodchato-avtomatnye modeli rekursivnykh programm”, Programmirovanie, 1994, no. 3, 3–26