01601oam 2200421Ia 450 991069969460332120230902161824.0(CKB)5470000002403986(OCoLC)227945483(EXLCZ)99547000000240398620080513d2010 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierProgram flow graph construction for static analysis of explicitly parallel message-passing programs[electronic resource] /Dale R. Shires, Lori PollockAberdeen Proving Ground, MD :Army Research Laboratory,[2010]1 online resource (viii, 18 pages) illustrationsARL-TR ;2370Title from title screen (viewed on Oct. 14, 2010)."November 2000."Includes bibliographical references (pages 13-14).ARL-TR (Aberdeen Proving Ground, Md.) ;2370.Programming languages (Electronic computers)Flow control (Data transmission systems)Programming languages (Electronic computers)Flow control (Data transmission systems)Shires Dale R1395012Pollock Lori L1413154U.S. Army Research Laboratory.DTICEDTICEGPOBOOK9910699694603321Program flow graph construction for static analysis of explicitly parallel message-passing programs3508849UNINA