Semigroup program models
From MaRDI portal
Publication:1162805
zbMath0482.68016MaRDI QIDQ1162805
Publication date: 1981
Published in: Programming and Computer Software (Search for Journal in Brave)
Related Items (5)
Technique of traces in solving the equivalence problem in algebraic program models ⋮ Program equivalence checking by two-tape automata ⋮ A case of insolubility of the problem of equivalence of programs ⋮ Using algebraic models of programs for detecting metamorphic malwares ⋮ Modeling of programs by flow diagrams and construction of diagram transformation systems
This page was built for publication: Semigroup program models