The following pages link to A hierarchy of program models (Q1157146):
Displaying 6 items.
- Studies in the theory of algebraic models of programs with procedures (Q300376) (← links)
- LP-structures analysis: substantiation of refactoring in object-oriented programming (Q462041) (← links)
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Technique of traces in solving the equivalence problem in algebraic program models (Q844347) (← links)
- Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
