Geodesic
Primitive Program Schemes with Procedures
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 4, pp. 116-131

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

The paper considers algebraic program models with procedures designed to analyze program semantic properties based on program schemes. This leads to the problem of program scheme equivalence and the problem of constructing a complete system of equivalent program scheme transformations. Among algebraic program models with procedures, we focus on gateway models induced by program models without procedures and primitive program schemes belonging to these gateway models. The equivalence problem is decidable for these schemes. In the case where the inducer is a special type of program model without procedures, we construct a complete system of equivalent scheme transformations for a particular subclass of primitive program schemes.
Keywords: algebraic program model, program schemes equivalent transformations. 
@article{MAIS_2014_21_4_a10,
     author = {R. I. Podlovchenko},
     title = {Primitive {Program} {Schemes} with {Procedures}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {116--131},
     publisher = {mathdoc},
     volume = {21},
     number = {4},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a10/}
}
TY  - JOUR
AU  - R. I. Podlovchenko
TI  - Primitive Program Schemes with Procedures
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 116
EP  - 131
VL  - 21
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a10/
LA  - ru
ID  - MAIS_2014_21_4_a10
ER  - 
%0 Journal Article
%A R. I. Podlovchenko
%T Primitive Program Schemes with Procedures
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 116-131
%V 21
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a10/
%G ru
%F MAIS_2014_21_4_a10
R. I. Podlovchenko. Primitive Program Schemes with Procedures. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 4, pp. 116-131. http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a10/