Отзыв официального оппонента 2 (1150912), страница 2
Текст из файла (страница 2)
коцш иорзгалышя форма вхолвзггз герма суи!есз вуст. 11ослеггыоцгис главы лисссртации иг свацсиы вопросам и1зилололзия иолуиеииы, зсорспзческих резульгвтгзв лля решения различных задач, относюлихся к вопросвч комли.нции ирогрвчм В главе 5 ргзссззагриваезся задала кочииляции иузези специвлизацшг комли:шрусмых црограмч. Авцзр показываем как алгоритм зйзассируюшсй иорьцишиции чожш быль иакмп,юша:шя гшюрации кочпилюорв иутсч шо специализации. !лава б посвацеглг вопросам свяш грассирукзшсй ворча:игшпии и с~1затегий вычисления ав~ор агзаизззруст алгоритм трассируюшей иормаличгпии лля с~раза ии а~шликагиглц го порядка редукций.
в также показывасз. как ссчшника функшюнальныз кш~сгр5киий чожсз оыгь прелсзавлеиа с помопи,ю подхода грассирукзцзей иорчаликшия иа примере я.шиш прогрвмчнровгшия 1зб'1. Лвзор представил в диссертации рвграбозаииузо ич экспсриьгснгальиукз ревлиьшикг агиоригма грассирукзигсй нормализации истипигирояанного лямода-исчи лоция иа языках Нав1 ей и Кас1ге1, В качестве шмеиаиии мокше рскгззгеиловазь л~!осе!згаи~ в оулуши; исслс !овация: йроггесзз~ йгзггрогбиглй анализ преимуц!ссгв своего мсзола иорма;взвили. саванных с выигрьппем ° слоьююсги род~ения шлаии нормализации. ,гзисссрзззния 51Л.Берегу на соотггсгшвзее иаспо!з~5 шмциальнош и О5,1 !.! 1, чезольь мололи и влгоригмы проектирования и аиализа программ и п1згл рамчиых систем. пх зквишшеитиых преобразований.
верификации и зссгг~!згзвгзшгя Лвзорсфе1за. в иолгюй чс1ю ог!зажвсз созержшие лиссе1з~гз~г~~. Рвбгззгз полностью узювлетгзоряс~ требованиям 11оложеиия "0 и зря ~кс присуждения улеиыз степеиай. прелъявляечым к кандидатским лиссерташшч. а се аюор Ьсрсзуи даниил тьнлрееяии заслузкпваст ирисукления ученой степени канлилатв физико-чатечагииеских лаз к по сиюиггльнош и 05.13. ! !- математилеское и программное обсспе ~снгзе вычислгнельиых ьгашгиь комплексов и компькмериых остей.
Миронов Лилрей Чиха!ск>вии. к.ф.-ч.н.. лоцсги кафедры чагемвгииеск«й зеории иигс.асктуалыпих сис~сч механико-массив~и коко~ о факу,и,ге~в Масксзвского 1'осуларш асиного Уиивсрсизсз а имени М.В '1очоносова .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
