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


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

Authors

Zakharov V.A., Zakharyaschev I.M.

Edition

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