Доклад:

Название:ИСПОЛЬЗОВАНИЕ ТЕХНОЛОГИИ СЕМАНТИЧЕСКОГО МОДЕЛИРОВАНИЯ С ПРИМЕНЕНИЕМ ОБОБЩЕННОЙ АБСТРАКТНОЙ МАШИНЫ
Аннотация:В работе рассматривается конструирование системы семантического моделирования, которая применимая для анализа программ, в частности, в их статическом режиме. Целью анализа программ является предсказание их свойств во время исполнения, не прибегая собственно к их исполнению.
Статус:На рассмотрении программного комитета.
Секция:
4) Инновационные технологии в образовательном пространстве ведущих университетов.

Авторы:

Ф.И.О.:Организация:Должность:
Косиков Сергей ВладимировичНИЯУ МИФИс.н.с.
Назаров Виктор НиколаевичГК ЮрИнфоРконсультант
Новиков Николай АнатольевичНИЯУ МИФИдоцент
Файбисович Михаил ЛьвовичГК ЮрИнфоРконсультант