Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/26786
Название: | Compilation of OCaml memory model into Power |
Другие названия: | Компиляция модели памяти OCaml в Power |
Авторы: | Березун Даниил Андреевич Berezun Daniil Andreevic Намаконов Егор Сергеевич Namakonov Egor Sergeevic Кознов Дмитрий Владимирович Koznov Dmitrij Vladimirovic |
Дата публикации: | 2020 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/26786 |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
thesis.pdf | Article | 218,75 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_rukovoditela_Koznov_Namakonov.pdf | ReviewSV | 125,57 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.