Alexandre V. Zamulin

From MaRDI portal
Person:557546

Available identifiers

zbMath Open zamulin.aleksandr-vasilevichMaRDI QIDQ557546

List of research outcomes





PublicationDate of PublicationType
Formal semantics of Java expressions and statements2005-08-17Paper
An ASM-based formal model of a Java program2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q30235422005-07-05Paper
Algebraic semantics of an imperative programming language2005-06-30Paper
An abstract compiler model as a result of the algebraic semantics of a programming language2005-04-29Paper
https://portal.mardi4nfdi.de/entity/Q44719072004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q47906392003-02-04Paper
https://portal.mardi4nfdi.de/entity/Q31529392002-11-03Paper
https://portal.mardi4nfdi.de/entity/Q27537042001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27299042001-10-23Paper
Program specification by typed Gurevich machines2001-05-09Paper
Dynamical systems with implicit state2001-04-26Paper
A mechanism for the formal description of dynamic systems2001-04-26Paper
https://portal.mardi4nfdi.de/entity/Q45173682000-11-21Paper
https://portal.mardi4nfdi.de/entity/Q44994872000-08-30Paper
https://portal.mardi4nfdi.de/entity/Q40020551992-09-18Paper
Annotated bibliography on partial evaluation and mixed computation1988-01-01Paper
Relations between data types1987-01-01Paper
Computations on types1985-01-01Paper
Language constructs supporting data base creation1983-01-01Paper
A programming language oriented to operation with data bases1976-01-01Paper

Research outcomes over time

This page was built for person: Alexandre V. Zamulin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:557546&oldid=10415201"
Powered by MediaWiki