Výsledky vyhledávání - "Alexandre V. Zamulin"

Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3–6, 2001, Novosibirsk, Akademgorodok

Autor: Alexandre V. Zamulin

Publikováno v: Programming and Computer Software. 26:292-294

Andrei Ershov was one of the Russian pioneers in the field of theoretical and system programming, and the founder of the Siberian School of Computer Science. His academic activities have been widely recognized, both in Russia and in other countries.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4a9fb225b43b1c0e6c9610c9dd9e87ce
https://doi.org/10.1007/bf02759324

Zobrazit plný text záznamu

Algebraic modelling of imperative languages with pointers

Autor: Alexandre V. Zamulin

Publikováno v: Formal Methods in Programming and Their Applications ISBN: 354057316X
Formal Methods in Programming and Their Applications

A modelling technique for an imperative programming language is presented in the paper. The technique is based on the algebraic approach to the data type specification and introduces such basic data types as memory, variable, record, function, and pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::71a1e81966067f1e017554055d60ca2d
https://doi.org/10.1007/bfb0039702

Zobrazit plný text záznamu

An XML Algebra for XQuery

Autor: Leonid Novak, Alexandre V. Zamulin

Publikováno v: Advances in Databases and Information Systems ISBN: 9783540378990
ADBIS

An XML algebra supporting the XQuery query language is presented. The usage of expression constructing operators instead of high-order operations using functions as parameters has permitted us to remain in the limits of first-order structures whose i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9229ecfcf1a5324827f1ec052a1bd075
https://doi.org/10.1007/11827252_4

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání