A hierarchy of program models

MaRDI QIDQ1157146zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 1981

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

zbMATH Keywords

semantic modelsformal models

Mathematics Subject Classification ID

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

Cited in

(6)

• Technique of traces in solving the equivalence problem in algebraic program models
• Using algebraic models of programs for detecting metamorphic malwares
• Studies in the theory of algebraic models of programs with procedures
• LP-structures analysis: substantiation of refactoring in object-oriented programming
• Program equivalence checking by two-tape automata
• Efficient algorithms for checking the equivalence of programs in interrupt handling models

This page was built for publication: A hierarchy of program models

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