scientific article; zbMATH DE number 862230

MaRDI QIDQ4871475zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 27 May 1996

zbMATH Keywords

equivalent transformationsprogram formalizationrecursive program

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Recursive programs and the hierarchy of their models
• On the construction of complete systems of equivalent transformations of program schemes
• Equivalent transformations in the model of programs with commuting and monotone operators
• scientific article; zbMATH DE number 4203724
• The problem of equivalence in commutative s-models for programs

Cited in

(14)

• Investigating s-model programs for the purpose of reducing them to canonical form
• On the construction of complete systems of equivalent transformations of program schemes
• Scheme canonical forms and their construction in special automaton models of recursive programs
• Equivalent transformations of program schemes for ``Entangling programs
• Equivalent transformations in the model of programs with commuting and monotone operators
• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
• Recursive programs and the hierarchy of their models
• scientific article; zbMATH DE number 2084335 (Why is no real title available?)
• scientific article; zbMATH DE number 3848637 (Why is no real title available?)
• Solvability of equivalence problem for program machines
• scientific article; zbMATH DE number 4203724 (Why is no real title available?)
• Halting and equivalence of program schemes in models of arbitrary theories
• scientific article; zbMATH DE number 3917683 (Why is no real title available?)
• On the effective solvability of the problem of the equivalence of linear unary recursive programs.

This page was built for publication:

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