Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/11358
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Булычев Дмитрий Юрьевич | ru_RU |
dc.contributor.author | Вьюгинов Николай Юрьевич | ru_RU |
dc.contributor.author | Viuginov Nickolai | en_GB |
dc.contributor.editor | Кириленко Яков Александрович | ru_RU |
dc.contributor.editor | Kirilenko Iakov Аleksаndrovich | en_GB |
dc.date.accessioned | 2018-07-25T20:18:11Z | - |
dc.date.available | 2018-07-25T20:18:11Z | - |
dc.date.issued | 2017 | - |
dc.identifier.other | 034424 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/11358 | - |
dc.description.abstract | Вьюгинов Николай Юрьевич Динамическое выделение типов в Ruby Старший преподаватель кафедры системного программирования Кириленко Яков Александрович Направление математика и механика, кафедра системного программирования Ruby - довольно популярный язык, он удобен и практичен. Обратной стороной такого удобства языка является сложность отладки и поиска ошибок в больших кодовых базах. Анализ кода на Ruby значительно усложняется засчёт некоторых возможностей языка. Даже в динамически типизированных языках программирования информация о типах переменных очень полезна, ведь она позволяет реализовать большее количество статических проверок. В работе описывается новый подход к генерации типовых аннотаций. Предлагается отслеживать непосредственные вызовы метода во время исполнения и генерировать на основе входных и выходных типов контракты, описывающие сигнатуру метода. Использованных источников: 21 Вьюгинов, Н. Ю. Динамическое выделение типов в Ruby: выпускная квалификационная работа: защищена 02.06.2017 / Вьюгинов Николай Юрьевич. – СПб., 2017. – 27 с. – Библиография: с. 26–27. | ru_RU |
dc.description.abstract | Viuginov Nickolay Yurievich Dynamic type inference in Ruby senior lecturer, dept. of software engineering Iakov Alexandrovich Kirilenko Mathematics & mechanics, software engineering department Ruby is a fairly popular language, it is convenient and practical. Syntax of Ruby language pays back when it comes to finding bugs in large codebases. Static analysis is hindered by specific capabilities of Ruby. Even in dynamically typed languages, type information is very useful, because of better type safety and more reliable checks. One may annotate the code with YARD (Ruby documentation tool) which also enables improved tooling such as code completion. This paper reports a new approach to type annotations generation. We trace direct method calls while the program is running, evaluate types of input and output variables and use this information to derive implicit type annotations. Sources cited: 21 Viuginov, N.Y. Dynamic type inference in Ruby: Graduation thesis: Defended 02.06.2017 / Viuginov Nickolay Yurievich. – St. Petersburg., 2017. – 27 pp. – Bibliography: pp. 26–27. | en_GB |
dc.language.iso | ru | - |
dc.subject | Ruby | ru_RU |
dc.subject | Динамически типизированные языки | ru_RU |
dc.subject | Виртуальная машина Ruby | ru_RU |
dc.subject | Сигнатура метода | ru_RU |
dc.subject | Выделение типов | ru_RU |
dc.subject | Статический анализ кода | ru_RU |
dc.subject | Ruby | en_GB |
dc.subject | Dynamically typed languages | en_GB |
dc.subject | Ruby VM | en_GB |
dc.subject | Method signature | en_GB |
dc.subject | Type inference | en_GB |
dc.subject | Static code analysis | en_GB |
dc.title | Dynamic type inference in Ruby | en_GB |
dc.title.alternative | Динамическое выделение типов в Ruby | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Viuginov444.pdf | Article | 785,21 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_nauchnogo_rukovoditelya_na_VKR_Vyuginova_N_YU_.docx | ReviewSV | 7,15 kB | Microsoft Word XML | Просмотреть/Открыть |
reviewSV_review.pdf | ReviewRev | 754,15 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st007252_Bulychev_Dmitrij_YUrevich_(reviewer)(Ru).txt | ReviewRev | 3,91 kB | Text | Просмотреть/Открыть |
reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_(supervisor)(Ru).txt | ReviewSV | 5,85 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.