RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


ПДМ, 2010, приложение № 3, страницы 84–85 (Mi pdm226)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические основы информатики и программирования

Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk

Д. А. Стефанцов, А. Е. Крюкова

Томский государственный университет, г. Томск

Полный текст: PDF файл (354 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 004.423+519.682.1

Образец цитирования: Д. А. Стефанцов, А. Е. Крюкова, “Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk”, ПДМ, 2010, приложение № 3, 84–85

Цитирование в формате AMSBIB
\RBibitem{SteKry10}
\by Д.~А.~Стефанцов, А.~Е.~Крюкова
\paper Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk
\jour ПДМ
\yr 2010
\pages 84--85
\issueinfo приложение № 3
\mathnet{http://mi.mathnet.ru/pdm226}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdm226
  • http://mi.mathnet.ru/rus/pdm/y2010/i12/p84

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Д. А. Стефанцов, А. Е. Крюкова, “Денотационное описание языка AspectTalk”, ПДМ, 2011, приложение № 4, 61–62  mathnet
  • Прикладная дискретная математика
    Просмотров:
    Эта страница:204
    Полный текст:55
    Литература:20
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021