Geodesic
Equivalence Problem Solvability in Biparametric Gateway Program Models
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 4, pp. 104-115

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. Procedural liberisation problem and equivalence problem are stated for program models with procedures in which both defining parameters are chosen independently. Program models with procedures built over a given program model without procedures are investigated. Algorithms for both stated tasks are proposed for models where an additional restriction is applied: the intersection emptiness problem is solvable in the program model without procedures. Polynomial estimates for the complexity of the algorithms are shown. Some topics for further investigation are proposed.
Keywords: program formalization, program scheme, program schemes equivalence, gateway program model. 
@article{MAIS_2014_21_4_a9,
     author = {A. E. Molchanov},
     title = {Equivalence {Problem} {Solvability} in {Biparametric} {Gateway} {Program} {Models}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {104--115},
     publisher = {mathdoc},
     volume = {21},
     number = {4},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a9/}
}
TY  - JOUR
AU  - A. E. Molchanov
TI  - Equivalence Problem Solvability in Biparametric Gateway Program Models
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 104
EP  - 115
VL  - 21
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a9/
LA  - ru
ID  - MAIS_2014_21_4_a9
ER  - 
%0 Journal Article
%A A. E. Molchanov
%T Equivalence Problem Solvability in Biparametric Gateway Program Models
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 104-115
%V 21
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a9/
%G ru
%F MAIS_2014_21_4_a9
A. E. Molchanov. Equivalence Problem Solvability in Biparametric Gateway Program Models. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 4, pp. 104-115. http://geodesic.mathdoc.fr/item/MAIS_2014_21_4_a9/