Символьный анализ достижимостив программах потоков данных со структурами данных

Translated title of the contribution: Reachability analysis in data flow programs with data structures

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Translated title of the contribution	Reachability analysis in data flow programs with data structures
Original language	Russian
Title of host publication	Моделирование и анализ информационныз систем
Publisher	Yaroslavl State University
Pages	27-40
Number of pages	14
Volume	5
Publication status	Published - 1998

Cite this

@inproceedings{6645ccfe42454c45848181c22971df5d,

title = "Символьный анализ достижимостив программах потоков данных со структурами данных",

author = "E.E. Roubtsova and N.S. Sidorova",

year = "1998",

language = "Russian",

volume = "5",

pages = "27--40",

booktitle = "Моделирование и анализ информационныз систем",

publisher = "Yaroslavl State University",

address = "Russian Federation",

}

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Символьный анализ достижимостив программах потоков данных со структурами данных

AU - Roubtsova, E.E.

AU - Sidorova, N.S.

PY - 1998

Y1 - 1998

M3 - Conference Article in proceeding

VL - 5

SP - 27

EP - 40

BT - Моделирование и анализ информационныз систем

PB - Yaroslavl State University

ER -