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

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

E.E. Roubtsova, N.S. Sidorova

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Translated title of the contributionReachability analysis in data flow programs with data structures
    Original languageRussian
    Title of host publicationМоделирование и анализ информационныз систем
    PublisherYaroslavl State University
    Pages27-40
    Number of pages14
    Volume5
    ISBN (Electronic)УДК 681.3
    Publication statusPublished - 1998

    Cite this