Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
DOI10.1134/S0361768814030050zbMATH Open1323.68224OpenAlexW2138494656MaRDI QIDQ2017779FDOQ2017779
Authors: R. I. Podlovchenko 
Publication date: 23 March 2015
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768814030050
Recommendations
- On a class of algebraic models of programs of practical interest
- Studies in the theory of algebraic models of programs with procedures
- Equivalent transformations in the model of programs with commuting and monotone operators
- An algebraic approach to schemes of structured programs
- Program schemes with constants
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
Cited In (6)
- On a class of algebraic models of programs of practical interest
- Equivalent transformations in the model of programs with commuting and monotone operators
- Studies in the theory of algebraic models of programs with procedures
- On the construction of complete systems of equivalent transformations of program schemes
- Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation
- Inclusion problem in algebraic models of programs with constants
This page was built for publication: Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017779)
