Alexandre V. Zamulin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal semantics of Java expressions and statements Programming and Computer Software	2005-08-17	Paper
An ASM-based formal model of a Java program Programming and Computer Software	2005-08-17	Paper
scientific article; zbMATH DE number 2186295 (Why is no real title available?)	2005-07-05	Paper
Algebraic semantics of an imperative programming language Programming and Computer Software	2005-06-30	Paper
An abstract compiler model as a result of the algebraic semantics of a programming language Programming and Computer Software	2005-04-29	Paper
scientific article; zbMATH DE number 2079806 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1863367 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1822438 (Why is no real title available?)	2002-11-03	Paper
scientific article; zbMATH DE number 1670508 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1630101 (Why is no real title available?)	2001-10-23	Paper
Program specification by typed Gurevich machines Proceedings of the Estonian Academy of Sciences. Physics, Mathematics	2001-05-09	Paper
Dynamical systems with implicit state Programming and Computer Software	2001-04-26	Paper
A mechanism for the formal description of dynamic systems Programming and Computer Software	2001-04-26	Paper
scientific article; zbMATH DE number 1534582 (Why is no real title available?)	2000-11-21	Paper
scientific article; zbMATH DE number 1498422 (Why is no real title available?)	2000-08-30	Paper
scientific article; zbMATH DE number 51669 (Why is no real title available?)	1992-09-18	Paper
Annotated bibliography on partial evaluation and mixed computation New Generation Computing	1988-01-01	Paper
Relations between data types Programming and Computer Software	1987-01-01	Paper
Computations on types Programming and Computer Software	1985-01-01	Paper
Language constructs supporting data base creation Programming and Computer Software	1983-01-01	Paper
A programming language oriented to operation with data bases Programming and Computer Software	1976-01-01	Paper

Research outcomes over time

This page was built for person: Alexandre V. Zamulin