A. V. Zamulin

Available identifiers

Publication	Date of Publication	Type
Formal semantics of Java expressions and statements	2005-08-17	Paper
An ASM-based formal model of a Java program	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3023542	2005-07-05	Paper
Algebraic semantics of an imperative programming language	2005-06-30	Paper
An abstract compiler model as a result of the algebraic semantics of a programming language	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4471907	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4790639	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3152939	2002-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2753704	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729904	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2718774	2001-05-09	Paper
Dynamical systems with implicit state	2001-04-26	Paper
A mechanism for the formal description of dynamic systems	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4517368	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4499487	2000-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4002055	1992-09-18	Paper
Annotated bibliography on partial evaluation and mixed computation	1988-01-01	Paper
Relations between data types	1987-01-01	Paper
Computations on types	1985-01-01	Paper
Language constructs supporting data base creation	1983-01-01	Paper
A programming language oriented to operation with data bases	1976-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. V. Zamulin