Staticheskij analiz wysokourownewyh programm

V monografii izlozheny rezul'taty razrabotki algoritmow staticheskogo analiza wysokourownewyh programm, kotoraq prowodilas' w ramkah proekta «Dialogowyj wysokourownewyj optimiziruüschij rasparalleliwatel' programm i ego prilozheniq» (DVOR) na kafedre Algebry i diskretnoj matematiki fakul'teta Matematiki, mehaniki i komp'üternyh nauk Juzhnogo federal'nogo uniwersiteta. Preimuschestwa predlozhennyh awtorom algoritmow po srawneniü s algoritmami, realizowannymi w izwestnyh kommercheskih sistemah, pokazany na real'nyh programmah iz naborow testow SPEC i NAS. Dannaq kniga prednaznachena dlq sistemnyh programmistow.