scientific article; zbMATH DE number 5827855

MaRDI QIDQ3063993zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 18 December 2010

zbMATH Keywords

decidabilityequivalent transformations of the schemesprogram modelsYanov schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 46687
• On a class of algebraic models of programs of practical interest
• Studies in the theory of algebraic models of programs with procedures
• scientific article; zbMATH DE number 1206050
• Formal models and free program schemata
• scientific article; zbMATH DE number 3985194
• Approximability of some program models by others
• Halting and equivalence of program schemes in models of arbitrary theories
• scientific article; zbMATH DE number 850400
• scientific article; zbMATH DE number 4052988

Cited in

(3)

• Technique of traces in solving the equivalence problem in algebraic program models
• Program schemes with constants
• Program schemata technique for propositional program logics: a 30-year history

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 Q3063993)