dc.contributor.advisor | Кулик Я. А. | uk |
dc.contributor.author | Кулик, М. С. | uk |
dc.date.accessioned | 2024-03-11T13:43:55Z | |
dc.date.available | 2024-03-11T13:43:55Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Кулик М. С. Використання технік згортання та розповсюдження констант для оптимізації IR [Електронний ресурс] / М. С. Кулик; наук. кер. Я. А. Кулик // Матеріали L науково-технічної конференції підрозділів ВНТУ, Вінниця, 10-12 березня 2021 р. – Електрон. текст. дані. – 2021. – Режим доступу: https://conferences.vntu.edu.ua/index.php/all-fksa/all-fksa-2021/paper/view/12008. | uk |
dc.identifier.uri | http://ir.lib.vntu.edu.ua//handle/123456789/39558 | |
dc.description.abstract | У даній роботі розглянуто техніки оптимізації згортання та розповсюдження констант для застосування у компіляторах. | uk |
dc.description.abstract | In this work optimization technique of constant folding and propagation for usage in compilers have been considered. | en |
dc.language.iso | uk_UA | uk_UA |
dc.publisher | ВНТУ | uk |
dc.relation.ispartof | Матеріали L науково-технічної конференції підрозділів ВНТУ, Вінниця, 10-12 березня 2021 р. | uk |
dc.relation.uri | https://conferences.vntu.edu.ua/index.php/all-fksa/all-fksa-2021/paper/view/12008 | |
dc.subject | Оптимізація | uk |
dc.subject | згортання констант | uk |
dc.subject | розповсюдження констант | uk |
dc.subject | компілятор | uk |
dc.subject | Optimization | en |
dc.subject | IR | en |
dc.subject | constant folding | en |
dc.subject | constant propagation | en |
dc.subject | compiler | en |
dc.title | Використання технік згортання та розповсюдження констант для оптимізації IR | uk |
dc.type | Thesis | |
dc.identifier.udc | 004.9 | |
dc.relation.references | Compilers, principles, techniques, and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman - Pearson Education, 2007. - 993 p. | en |
dc.relation.references | Constant Propagation with Conditional Branches / Mark Wegman, Frank Kenneth // Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York, United States, 1985. DOI: 10.1145/ISBN: 978-0-89791-147-4. - P. 291-299. | en |
dc.relation.references | Classifying and Formally Verifying Integer Constant Folding / Sabine Glesner, Sabine Glesner, Jan Olaf // Electronic Notes in Theoretical Computer Science 82 No. 2 , 2003. - P. 410-425. | en |