This article is cited in 4 scientific papers (total in 4 papers)
About Algebraic Program Models with Procedures
R. I. Podlovchenko, A. E. Molchanov
M. V. Lomonosov Moscow State University
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.
program formalization, program scheme, program schemes equivalence, matric scheme, free scheme.
PDF file (286 kB)
R. I. Podlovchenko, A. E. Molchanov, “About Algebraic Program Models with Procedures”, Model. Anal. Inform. Sist., 19:5 (2012), 100–114
Citation in format AMSBIB
\by R.~I.~Podlovchenko, A.~E.~Molchanov
\paper About Algebraic Program Models with Procedures
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
This publication is cited in the following articles:
R. I. Podlovchenko, A. E. Molchanov, “Razreshimost ekvivalentnosti v peregorodchatykh modelyakh programm”, Model. i analiz inform. sistem, 21:2 (2014), 56–70
A. E. Molchanov, “Razreshimost ekvivalentnosti v dvukhparametricheskikh peregorodchatykh modelyakh programm”, Model. i analiz inform. sistem, 21:4 (2014), 104–115
R. I. Podlovchenko, “Issledovanie primitivnykh skhem programm s protsedurami”, Model. i analiz inform. sistem, 21:4 (2014), 116–131
A. E. Molchanov, “Razreshimost problemy ekvivalentnykh preobrazovanii v klasse primitivnykh skhem programm”, Trudy ISP RAN, 27:2 (2015), 173–188
|Number of views:|