Автоматизированная генерация типовых контрактов для языка Ruby
https://doi.org/10.15514/ISPRAS-2017-29(4)-1
Аннотация
Ключевые слова
Ruby,
динамически типизированные языки,
Ruby VM,
YARV,
сигнатура метода,
наследование типов,
статический анализ кода
Список литературы
1. Brianna M. Ren., J. Toman, T. Stephen Strickland and Jeffrey S. Foster. The ruby type checker. Доступно по ссылке: http://www.cs.umd.edu/~jfoster/papers/oops13.pdf
2. blog.codeclimate. Gradual type checking for ruby, 2014. [Online]. Доступно по ссылке: blog.codeclimate.com/blog/2014/05/06/gradual-type-checking-for-ruby/
3. O. Shivers. Control flow analysis in scheme. ACM SIGPLAN 1988 conference on Programming language design and implementation, 1988.
4. Bozhidar Batsov. Rubocop, 2017. [Online]. Доступно по ссылке: http://batsov.com/rubocop/
5. Jeff Foster, Mike Hicks, Mike Furr, David An. Diamond-back ruby guide, 2009.[Online]. Доступно по ссылке: http://www.cs.umd.edu/projects/PL/druby/manual/manual.pdf
6. Pat Shaughnessy. Ruby Under a Microscope. No Starch Press, 2013.
7. Madsen M. Static Analysis of Dynamic Languages. Доступно по ссылке: http://pure.au.dk/ws/files/85299449/Thesis.pdf
8. Duck Typing [Online]. Доступно по ссылке: http://rubylearning.com/satishtalim/duck_typing.html
Рецензия
Для цитирования:
Вьюгинов Н.Ю., Фондаратов В.С. Автоматизированная генерация типовых контрактов для языка Ruby. Труды Института системного программирования РАН. 2017;29(4):7-20. https://doi.org/10.15514/ISPRAS-2017-29(4)-1
For citation:
Viuginov N.Y., Fondaratov V.S. Automated Type Contracts Generation in Ruby. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(4):7-20. https://doi.org/10.15514/ISPRAS-2017-29(4)-1
Послать статью по эл. почте 