Alexandre V. Zamulin
E-mail
List of Articles:
Zamulin A. Algebraic semantics of an imperative programming language as a compiler abstract model // Computer Science. — 2004 . — # 20.  — P. 113-128
Zamulin A. Typed ASMs with updateable locations as values // Computer Science. — 2001 . — # 15.  — P. 137-157
Zamulin A. Modularization of typed Gurevich machines // Computer Science. — 2000 . — # 13.  — P. 105-116
Zamulin A. Object-Oriented Specification by Typed Gurevich Machines // Computer Science. — 1998 . — # 8.  — P. 101-127
Zamulin A. Typed Gurevich machines revisited // Computer Science. — 1997 . — # 7.  — P. 95-121