A hierarchy of program models
From MaRDI portal
Publication:1157146
zbMath0469.68015MaRDI QIDQ1157146
Publication date: 1981
Published in: Programming and Computer Software (Search for Journal in Brave)
Related Items (6)
Studies in the theory of algebraic models of programs with procedures ⋮ Technique of traces in solving the equivalence problem in algebraic program models ⋮ 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 ⋮ Using algebraic models of programs for detecting metamorphic malwares
This page was built for publication: A hierarchy of program models
