Skip to main content
Home

Main menu

  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
    • How to submit
  • Contacts

Zamulin Alexandre

Search

Alexandre
V.
Zamulin
E-mail
zam@iis.nsk.su

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
© 2015 - 2023 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
    • About
      • Journal
      • Editorial
      • ISSN
    • Series
      • Computer Science
      • Mathematical Modeling in Geophysics
      • Numerical Analysis
      • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
    • Search
    • Authors
    • Submission
    • Contacts
    • Search