Содержание
Наборы инструментов по низкой цене в Красноярске
Производитель
APELAS
APELAS
UNIPRO
UNIPRO
WILTON
WILTON
ЕРМАК
ЕРМАК
16075
16075
16076
16076
16315U
16315U
16316U
16316U
16342U
16342U
16350U
16350U
16352U
16352U
16356
16356
16740U
16740U
16741
16741
18356U
18356U
20012
20012
2001U
2001U
2002U
2002U
719-003
719-003
719-008
719-008
719-010
719-010
719-011
719-011
719-014
719-014
719-015
719-015
719-016
719-016
719-030
719-030
719-034
719-034
719-037
719-037
719-050
719-050
719-123
719-123
736-006
736-006
736-043
736-043
736-047
736-047
736-049
736-049
736-050
736-050
736-071
736-071
736-072
736-072
736-073
736-073
736-075
736-075
736-076
736-076
736-096
736-096
736-097
736-097
736-098
736-098
736-142
736-142
736-498
736-498
736-541
736-541
736-564
736-564
736-565
736-565
736-566
736-566
L2000
L2000
NTK233-6M
NTK233-6M
U-125
U-125
U-135
U-135
U-145
U-145
U-191
U-191
U-192
U-192
U-193
U-193
U-600
U-600
U-700
U-700
U-762
U-762
U-800
U-800
U-900
U-900
U-901
U-901
Graffitimarket — Аэрозольная краска и маркеры для граффити и творчества
HANDMIXED
Более 20 новых цветов
Подробнее
Инновационные маркеры MOLOTOW SKETCHER
Уникальная система картриджей
Подробнее
Molotow Artist
Маркеры и краски для художников
Подробнее
Molotow Acrylic-Twin
Один маркер для любых целей
Подробнее
ALLCITY
Маркеры для любых целей
Подробнее
Аэрозольная краска
Аэрозольная краска для любых целей
Маркеры
Широкий выбор инструментов для граффити и дизайна
Заправки
Все самое необходимое
Культура
Узнавай больше
Все поступления
Новинка
Заправка перманентная FAT INK Dark Blue 250 мл
Подробнее
Новинка
Набор наклеек Flux Eggshell черный 50 штук
Подробнее
Новинка
Набор наклеек Flux Eggshell фиолетовый 50шт
Подробнее
Новинка
Набор наклеек Flux Eggshell красный 50шт
Подробнее
Новинка
Набор наклеек Flux Eggshell зеленый 50 штук
Подробнее
Новинка
Набор наклеек Flux Eggshell белый 50 штук
Подробнее
3
Новинка
Заправка перманентная FAT INK 250 мл
Подробнее
Новинка
Клей аэрозольный АМА универсальный 650мл
Подробнее
Новинка
Клей аэрозольный АМА проникающий 400мл
Подробнее
Новинка
Клей аэрозольный АМА жесткой фиксации 500мл
Подробнее
Новинка
Набор перьев для маркера Molotow Twin 1.
5мм 224 227/211 Tip 2 штуки
Подробнее
Новинка
Набор перьев для маркера Molotow Transformer standart tip 15 мм 2 шт
Подробнее
Все новости
ТАЕТЛЕД — Скидка 13% на все
Скидка 13% на всё по промокоду ТАЕТЛЕД
Успейте подготовиться…
Подробнее
Инновационные маркеры Molotow Sketcher в Graffitimarket
Вы уже точно видели наборы уникальных маркеров Molotow…
Подробнее
5MINUTES: SNOW21 (Лейпциг)
Вы когда-нибудь были в Лейпциге, Германия? Сегодня на протяжении…
Подробнее
GRAFFITI TV 116: PAKOE
В 116-ом выпуске Graffiti TV мы представляем граффити-художника.
..
Подробнее
Новогодний режим работы магазинов Graffitimarket
Обратите внимание на графики работы наших магазинов и…
Подробнее
Все бренды
Arton
Многолетний опыт работы в изготовлении аэрозольных эмалей,…
Перейти в каталог
Fat&Skinny
Маркер Fat&Skinny — это новинка от компании…
Перейти в каталог
Flame
Краски фирмы Flame выпускаются в Германии, где ценят высокое…
Перейти в каталог
Graffitimarket
Наш магазин занимается не только продажей продукции для…
Перейти в каталог
Grog
Фирма GROG родом из Италии. Инструменты этого бренда…
Перейти в каталог
Molotow
Товары для граффити под брендом Molotow с каждым годом приобретают.
..
Перейти в каталог
Montana
Montana — бренд крупнейшего немецкого производителя аэрозольных…
Перейти в каталог
Mtn
Впервые массовое производство аэрозольной…
Перейти в каталог
On the run
Название бренда происходит от «On the run», что…
Перейти в каталог
Аэрозольная краска Arton 400 мл
Подробнее
Фильтры для респиратора 3M 6057
Подробнее
Лак Molotow 400 мл
Подробнее
Аэрозольная краска Easy 1000 мл
Подробнее
Набор акриловых маркеров One4all 227HS 4мм Main-Kit II 12штук
Подробнее
Аэрозольная краска Montana Black 400 мл
Подробнее
Новинка
Набор акриловых маркеров Fat&Skinny Acrylic Twin Main 12 штук
Подробнее
Магазины
Москва Graffitimarket на Дмитровской
Адрес
ул.
Новодмитровская 1, с.5 (Территория Хлебозавод №9)
Телефон
8(800) 707-25-45
Почта
График работы
ежедневно с 10.00 до 22.00
Москва Graffitimarket на Киевской
Адрес
м.Киевская(Кольцевая), ул.Брянская, д.2.
Телефон
8 (800) 707-25-45
Почта
График работы
ежедневно с 10.00 до 22.00
Москва Graffitimarket на Таганке
Адрес
ул. Верхняя Радищевская 9а, стр.1 (вход со двора)
Телефон
8 (800) 707-25-45
Почта
График работы
ежедневно с 10.00 до 22.00
Санкт-Петербург Graffitimarket на Сенной площади
Адрес
м. Садовая / Сенная площадь, ул. Ефимова, д.5
Телефон
+7 (812) 407-48-94
8 (800) 707-25-45
Почта
График работы
ежедневно с 10.00 до 22.00
Cанкт-Петербург Graffitimarket на Восстания
Адрес
Пл.
Восстания, ул. 1я Советская д.6, корп. 2 (цокольный этаж)
Телефон
+7 (812) 981-70-91
8 (800) 707-25-45
Почта
График работы
ежедневно с 10.00 до 22.00
Все магазины
Скидочная программа
для постоянных клиентов
Оперативная и эффективная
обратная связь
Большой обновляющийся
выбор товаров
Бесплатная доставка
свыше 10 000 руб
Магазины в Москве
и Санкт-петербурге
Доставка во все
населенные пункты РФ
М. С. Ушакова, А. И. Легалов, “Инструментарий для поддержки формальной верификации программ на языке функционального поточно-параллельного программирования”, Вестн. ЮУрГУ. сер. Выч. Матем. Информ., 4:2 (2015), 58–70
| Вестник Южно-Уральского государственного университета. Серия «Вычислительная математика и информатика», 2015, том 4, выпуск 2, страницы 58–70 DOI: https://doi.  org/10.14529/cmse150205 (Ми вюрв21) |
Информатика, проектирование и управление
Инструментарий для поддержки формальной верификации программ на функциональном языке параллельного программирования с потоком данных.
Ушакова М.С. , Легалов А.И.
Технология (Красноярск, Российская Федерация)
Полнотекстовый PDF (1054 КБ)
Ссылки:
HTML
DOI: https://doi.org/10.14529/cmse150205
Резюме:
Статья посвящена разработке архитектуры инструментария для поддержки формальной верификации функциональных параллельных программ потока данных на языке Пифагор. Для формальной проверки используется метод дедукции, основанный на логике Хоара. Процесс доказательства рассматривается как дерево, каждый узел которого представляет собой программный граф потока данных, ребра которого помечены формулами на языке спецификации.
Корнем дерева является исходная тройка Хоара, а именно граф потока данных программы с предусловием и постусловием. В данной статье рассматриваются основные преобразования графа потоков данных: разметка ребер, эквивалентное преобразование, разбиение, свертывание программы. С помощью этих преобразований исходная тройка преобразуется и окончательно сводится к набору формул на языке спецификации. Если все эти формулы одинаково верны, то программа верна. Предложена архитектура инструментария поддержки формальной верификации функциональных параллельных программ потоков данных, позволяющая построить третье доказательство. Представлена реализация инструментария и рассмотрен его основной функционал.
Ключевые слова:
функциональное параллельное программирование потоков данных, язык программирования Пифагор, формальная верификация программ, набор инструментов для поддержки формальной верификации.
Поступила: 11.02.2015
Библиографические базы данных:
Тип документа:
Артикул
УДК:
004.
052.42
Язык: Русский
Ссылка:
М. С. Ушакова, А. И. Легалов, “Инструментарий поддержки формальной верификации программ на языке функционального потокового параллельного программирования”, Вестн. ЮУрГУ. сер. Выч. Матем. Информ., 4:2 (2015), 58–70
Цитирование в формате AMSBIB
\RBibitem{UshLeg15}
\by М.~С.~Ушакова, А.~И.~Легалов
\paper Инструментарий поддержки формальной верификации программ на функциональный язык параллельного программирования потоков данных
\jour Вестн. ЮУрГУ. сер. Выч. Матем. Поставить в известность.
\год 2015
\том 4
\выпуск 2
\страниц 58--70
\mathnet{http://mi.mathnet.ru/vyurv21}
\crossref{https://doi.org/10.14529/cmse150205 }
\elib{https://elibrary.ru/item.asp?id=23398246}
Варианты подключения:
ru/rus/vyurv21 Ссылки на статьи в Google Scholar:
русские цитаты,
английские цитаты
Похожие статьи в Google Scholar:
русские статьи,
Английские статьи
nh-accident-today — Googlesuche
AlleNewsBilderVideosMapsShoppingBücher
suchoptionen
отчеты о несчастных случаях | NH Division of Motor Vehicles
www.dmv.nh.gov › Tickets-accidents-or-restors
Если вы хотите передать копию отчета об аварии, в которой вы и/или ваше транспортное средство участвовали, другой стороне или если вы ищете другой …
NH DOT I-93
Twitter › nhdoti93
Дорожные работы — Новый: Concord I-93 NB Миля от 40,6 до 48,0, правое плечо закрыто
Twitter • vor 53 Minuten
Дорожные работы — Очищено: ДОРОЖНЫЕ РАБОТЫ РАЗРЕШЕНЫ: Londonderry I—93 NB Миля 11,2 обочина открыта
Twitter • vor 2 Tagen
Дорожные работы — Новое: Долгосрочное строительство: Campton I-93 NB Миля 83,4 до 84,6 правая полоса закрыта.
Twitter • из 3 номеров
Дорожные работы — разрешено: ДОРОЖНЫЕ РАБОТЫ РАЗРЕШЕНЫ: Кэмптон, 93 NB, миля 83,4–84,6 Mile 40.6
Twitter • vor 3 Таген
Auf Twitter ansehen
NH DOT I-95 (@nhdoti95) / Twitter
twitter.com › nhdoti95
Дорожные работы — Новое: ДОРОЖНЫЕ РАБОТЫ: Portsmouth I-95 SB миля с 15,6 до 15,4. Правое плечо закрыто.
nh-авария — The Economic Times
economictimes.indiatimes.com › тема › nh-accident
В результате столкновения мини-грузовика и тягача в Хатрасе четыре человека погибли и десять получили ранения. Авария произошла на NH 9.
авария со смертельным исходом | Общественное радио Нью-Гэмпшира
www.nhpr.org › tags › fatal-accident
Женщина в инвалидной коляске, пересекающая шоссе 3 в Ланкастере, скончалась после того, как во вторник ее сбил автомобилист. Полиция штата Нью-Гэмпшир сообщила, что Полин Кларк,…
НОВОСТИ 603 | Concord NH — Facebook
www.
facebook.com › … › NEWS 603
Concord, NH 08.04.23 Около 14:30, автомобильная авария в Центре и Вашингтоне … пасхального яйца Загляните сегодня в парк Карпентер в Чичестере, штат Нью-Хэмпшир.
ОБНОВЛЕНИЕ: Довер, Нью-Гэмпшир *СМЕРТЕЛЬНОЕ ПРОИСШЕСТВИЕ*… — Rockingham Alert
www.facebook.com › RockinghamAlertPage › сообщения
ОБНОВЛЕНИЕ: Дувр, Нью-Гэмпшир *СМЕРТЕЛЬНОЕ ПРОИСШЕСТВИЕ* Spaulding Turnpike SB — Более ранняя MVA в район выхода 7 … Зарегистрируйтесь на Facebook, чтобы общаться с Rockingham Alert.
Merrimack Traffic & Transit News | Merrimack, NH Patch
patch.com › Нью-Гэмпшир › traffic-transit
Merrimack, NH Обновления местного трафика в режиме реального времени и новости общественного транспорта для пассажиров.
Concord Traffic & Transit Новости | Concord, NH Patch
patch.com › Нью-Гэмпшир › traffic-transit
Concord, NH Обновления местного трафика в реальном времени и новости общественного транспорта для пассажиров.