Electronic Documents Search
Documents found: 2
-
Creators Подкопаев Антон Викторович; Лахав Ори; Вафеядис Виктор Organization Санкт-Петербургский государственный университет телекоммуникаций имени профессора М. А. Бонч-Бруевича; Тель-Авивский университет; Институт имени Макса Планка Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2017 Collection Общая коллекция Subjects Вычислительная техника; Языки программирования; корректность компиляции; аксиоматические модели; модели памяти (вычислительная техника); семантика; многопоточные программы; compilation correctness; axiomatic models; memory models (computer engineering); semantics; multithreaded programs UDC 004.43 LBC 32.973-018.1 Document type Article, report File type Other Language Russian DOI 10.18721/JCSTCS.10405 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Creators Подкопаев Антон Викторович; Коровянский Алексей Юрьевич; Озерных Игорь Станиславович Organization Санкт-Петербургский государственный университет; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2015 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; форматирование; форматирование программных текстов; целевой код; полиномиальное время; стандарты кодирования; комбинаторы UDC 004.41/.42 LBC 32.973-018 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.224.4 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 250 Kb
