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