LEADER 01601oam 2200421Ia 450 001 9910699694603321 005 20230902161824.0 035 $a(CKB)5470000002403986 035 $a(OCoLC)227945483 035 $a(EXLCZ)995470000002403986 100 $a20080513d2010 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgram flow graph construction for static analysis of explicitly parallel message-passing programs$b[electronic resource] /$fDale R. Shires, Lori Pollock 210 1$aAberdeen Proving Ground, MD :$cArmy Research Laboratory,$d[2010] 215 $a1 online resource (viii, 18 pages) $cillustrations 225 1 $aARL-TR ;$v2370 300 $aTitle from title screen (viewed on Oct. 14, 2010). 300 $a"November 2000." 320 $aIncludes bibliographical references (pages 13-14). 410 0$aARL-TR (Aberdeen Proving Ground, Md.) ;$v2370. 606 $aProgramming languages (Electronic computers) 606 $aFlow control (Data transmission systems) 615 0$aProgramming languages (Electronic computers) 615 0$aFlow control (Data transmission systems) 700 $aShires$b Dale R$01395012 701 $aPollock$b Lori L$01413154 712 02$aU.S. Army Research Laboratory. 801 0$bDTICE 801 1$bDTICE 801 2$bGPO 906 $aBOOK 912 $a9910699694603321 996 $aProgram flow graph construction for static analysis of explicitly parallel message-passing programs$93508849 997 $aUNINA