Институт системного программирования им. В.П. Иванникова РАН


Теоретико-автоматный подход к определению формальных семантик языков программирования.

Авторы

Захаров В.А., Кончаков Р.В.

Ключевые слова

язык программирования, семантика, автомат

Издание

Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114.

Научная группа

Теоретическая информатика

Все публикации за 2001 год Все публикации