The following pages link to A. V. Zamulin (Q557546):
Displaying 22 items.
- (Q174082) (redirect page) (← links)
- Algebraic semantics of an imperative programming language (Q557547) (← links)
- Language constructs supporting data base creation (Q797318) (← links)
- Computations on types (Q1065543) (← links)
- Relations between data types (Q1103388) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- A programming language oriented to operation with data bases (Q1235974) (← links)
- An abstract compiler model as a result of the algebraic semantics of a programming language (Q1774306) (← links)
- Formal semantics of Java expressions and statements (Q2487104) (← links)
- An ASM-based formal model of a Java program (Q2487119) (← links)
- (Q2718774) (← links)
- (Q2729904) (← links)
- (Q2753704) (← links)
- (Q3023542) (← links)
- (Q3152939) (← links)
- (Q4002055) (← links)
- (Q4471907) (← links)
- (Q4499487) (← links)
- (Q4517368) (← links)
- (Q4790639) (← links)
- Dynamical systems with implicit state (Q5930823) (← links)
- A mechanism for the formal description of dynamic systems (Q5930827) (← links)
