Alexandre V. Zamulin

MaRDI QIDQ557546zbMATH OpenFDO

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