V. A. Vasenin

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Pattern Matching

Formal Semantics

Tightly Coupled

Intermediate Representations

Top Venues

Program. Comput. Softw.

Publications

V. A. Vasenin, Maxim A. Krivchikov
Intermediate Representation of Programs with Type Specification Based on Pattern Matching. Program. Comput. Softw. 46 (1) (2020)
V. A. Vasenin, Maxim A. Krivchikov
A model of dynamical concurrent program execution. Program. Comput. Softw. 39 (1) (2013)
V. A. Vasenin, Maxim A. Krivchikov
ECMA-335 static formal semantics. Program. Comput. Softw. 38 (4) (2012)
V. A. Vasenin, Alexander Vodomerov
A formal model of a system for automated program parallelization. Program. Comput. Softw. 33 (4) (2007)
S. S. Gorelov, V. A. Vasenin
Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas. Program. Comput. Softw. 31 (6) (2005)
V. A. Vasenin, E. E. Dolgalev
ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms. Program. Comput. Softw. 29 (5) (2003)
V. A. Vasenin, V. V. Korneev, M. Yu. Landina, V. A. Roganov
Functional Active Monitoring System FLAME. Program. Comput. Softw. 29 (3) (2003)