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

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

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


Ж. вычисл. матем. и матем. физ.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Журнал вычислительной математики и математической физики, 1980, том 20, номер 5, страницы 1284–1293 (Mi zvmmf5191)  
Глобальные атрибуты и их использование при определении языков программирования

А. Н. Бирюков, В. М. Курочкин, В. А. Серебряков

Москва
PDF полного текста (1174 kB)
Аннотация: Рассматриваются глобальные атрибуты–обобщение понятия семантических атрибутов, широко применяемых при формальном определении языков программирования. Доказывается, что при введении в атрибутную схему глобальных атрибутов остается возможность проверки ее корректности. Приводится пример использования глобальных атрибутов.
Поступила в редакцию: 27.03.1980
Англоязычная версия:
USSR Computational Mathematics and Mathematical Physics, 1980, Volume 20, Issue 5, Pages 185–194
DOI: https://doi.org/10.1016/0041-5553(80)90095-6
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.682
MSC: Primary 68Q60; Secondary 68N01, 68Q45, 68Q55
Образец цитирования: А. Н. Бирюков, В. М. Курочкин, В. А. Серебряков, “Глобальные атрибуты и их использование при определении языков программирования”, Ж. вычисл. матем. и матем. физ., 20:5 (1980), 1284–1293; U.S.S.R. Comput. Math. Math. Phys., 20:5 (1980), 185–194
Цитирование в формате AMSBIB
\RBibitem{BirKurSer80}
\by А.~Н.~Бирюков, В.~М.~Курочкин, В.~А.~Серебряков
\paper Глобальные атрибуты и их использование при определении языков программирования
\jour Ж. вычисл. матем. и матем. физ.
\yr 1980
\vol 20
\issue 5
\pages 1284--1293
\mathnet{http://mi.mathnet.ru/zvmmf5191}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=593505}
\zmath{https://zbmath.org/?q=an:0481.68010}
\transl
\jour U.S.S.R. Comput. Math. Math. Phys.
\yr 1980
\vol 20
\issue 5
\pages 185--194
\crossref{https://doi.org/10.1016/0041-5553(80)90095-6}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/zvmmf5191
  • https://www.mathnet.ru/rus/zvmmf/v20/i5/p1284
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Журнал вычислительной математики и математической физики Computational Mathematics and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:159
    PDF полного текста:296
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024