Inclusion problem in algebraic models of programs with constants

DOI10.1134/S0361768807030012MaRDI QIDQ926618zbMATH OpenFDO

Authors R. I. Podlovchenko, Dmitry Rusakov

Publication date 20 May 2008

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

diagrams

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Scheme inclusion verification algorithm in algebraic model of programs with constants
• Program schemes with constants
• Studies in the theory of algebraic models of programs with procedures
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
• On a class of algebraic models of programs of practical interest

Cites work

• Automaton semigroup models of programs
• Implementation and Application of Automata
• Program schemes with constants

Cited in

(2)

• Program schemes with constants
• Scheme inclusion verification algorithm in algebraic model of programs with constants

This page was built for publication: Inclusion problem in algebraic models of programs with constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q926618)