Ivannikov Institute for System Programming of the RAS

An equivalence-checking algorithm for polysemantic models of sequential programs.


Zakharov V.A., Zakharyaschev I.M.


Proceedings of the International Workshop on Program Understanding (14-16 July, 2003, Altai Mountains), 2005, Novosibirsk, pp. 59-70.

Research Group

Theoretical Computer Science

All publications during 2005 All publications