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