View Document Preview and Link
Document Date: 2005-07-26 16:20:28 Open Document File Size: 316,68 KB Share Result on Facebook
City Santos / Puebla / / Company Computing Machinery Inc. / / Country Andorra / / / Facility The University of Melbourne / GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University / PETER J. STUCKEY University / / IndustryTerm fixed-point algorithm / graph traversal algorithm / generic fixed-point algorithm / generic analysis algorithm / particular analysis algorithms / generic algorithm / copyright/server / fixed-point algorithms / generic top-down analysis algorithm / proposed incremental analysis algorithms / analysis systems / / Organization University of Melbourne / School of Computer Science and Software Engineering / Universidad Polit´ / PETER J. STUCKEY University of Melbourne Global / Monash University / Association for Computing Machinery / / Person Van Hentenryck / Muthukumar / Bk / Charlier Hentenryck / Van Roy / KIM MARRIOTT / Manuel Hermenegildo / / Position General / head / / Product Sonim XP1 Cellular Phone / / ProgrammingLanguage Prolog / / Technology particular analysis algorithms / graph traversal algorithm / generic analysis algorithm / analysis algorithm / APi / fixed-point algorithms / generic algorithm / analysis algorithms / fixed-point algorithm / generic fixed-point algorithm / proposed incremental analysis algorithms / two algorithms / / SocialTag