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